Michael Brown d8392851d2 [linux] Add support for accessing PCI configuration space via /proc/bus/pci ...

Signed-off-by: Michael Brown <mcb30@ipxe.org>

2013-07-13 12:44:45 +02:00

..

efi.h

[efi] Enable "cpuid" command by default for EFI

2013-03-22 13:58:54 +00:00

linux.h

[linux] Add support for accessing PCI configuration space via /proc/bus/pci

2013-07-13 12:44:45 +02:00

pcbios.h

[efi] Add "reboot" command for EFI

2013-03-22 13:44:02 +00:00