3 Commits

Author	SHA1	Message	Date
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
Michael Brown	831e4cfc27	[umalloc] Formalise the user memory allocation API	2008-10-13 05:33:14 +01:00
Michael Brown	544fa25928	Rename e{malloc,realloc,free} to u{malloc,realloc,free}, to more obviously ... reflect the fact that they allocate and deallocate user memory (i.e. things reached through a userptr_t).	2007-01-16 08:36:42 +00:00