Michael Brown 29480dd715 [efi] Use EFI-native mechanism for accessing SMBIOS table ...

EFI provides a copy of the SMBIOS table accessible via the EFI system
table, which we should use instead of manually scanning through the
F000:0000 segment.

2008-12-04 23:19:12 +00:00

..

defaults

[efi] Use EFI-native mechanism for accessing SMBIOS table

2008-12-04 23:19:12 +00:00

.gitignore

[makefile] Split config.h out into config/*.h and kill off mkconfig.pl

2008-10-08 02:17:32 +01:00

console.h

[config] Split console configuration out to config/console.h

2008-10-12 02:30:31 +01:00

defaults.h

[ioapi] Formalise the I/O API as used in i386-pcbios

2008-10-12 01:03:17 +01:00

general.h

[romprefix] Add vendor branding facilities and guidelines

2008-10-31 19:10:28 +00:00

ioapi.h

[pci] Formalise the PCI I/O API

2008-10-12 12:54:12 +01:00

isa.h

[makefile] Split config.h out into config/*.h and kill off mkconfig.pl

2008-10-08 02:17:32 +01:00

nap.h

[nap] Formalise the CPU sleeping API

2008-10-12 23:36:53 +01:00

serial.h

[makefile] Split config.h out into config/*.h and kill off mkconfig.pl

2008-10-08 02:17:32 +01:00

timer.h

[timer] Formalise the timer API

2008-10-12 20:22:02 +01:00

umalloc.h

[umalloc] Formalise the user memory allocation API

2008-10-13 05:33:14 +01:00