83f810f510
The hacky way of getting the BIOS mapped only works on x86. ACPI should be preferred if available. Makes BIOS reading though VFCT work on aarch64 with EDK2. (But only if EDK2 has POSTed the GPU.) XXX amdgpu should get the same treatment. |
||
---|---|---|
.. | ||
bsd | ||
gpl2/dts | ||
isc | ||
mit/xen-include-public/dist/xen/include/public |