Michael Brown 81d92c6d34 [efi] Add EFI image format and basic runtime environment ... We have EFI APIs for CPU I/O, PCI I/O, timers, console I/O, user access and user memory allocation. EFI executables are created using the vanilla GNU toolchain, with the EXE header handcrafted in assembly and relocations generated by a custom efilink utility.		2008-10-13 10:24:14 +01:00
..
efi	[efi] Add EFI image format and basic runtime environment	2008-10-13 10:24:14 +01:00
pcbios	[umalloc] Formalise the user memory allocation API	2008-10-13 05:33:14 +01:00
pxe	[i386] Simplify linker script and standardise linker-defined symbol names	2008-10-10 03:59:57 +01:00
syslinux	[comboot] Add COMBOOT and COM32 support	2008-08-28 23:52:19 +01:00