2 Commits

Author	SHA1	Message	Date
Michael Brown	b59e0cc56e	[i386] Change [u]int32_t to [unsigned] int, rather than [unsigned] long ... This brings us in to line with Linux definitions, and also simplifies adding x86_64 support since both platforms have 2-byte shorts, 4-byte ints and 8-byte long longs.	2008-11-19 19:15:44 +00:00
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