56 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	54c024e0af	[sanboot] Quick and dirty hack to make SAN boot protocols selectable	2008-10-13 10:05:51 +01:00
Michael Brown	d4e152e766	[config] Make the default image type selection platform-dependent	2008-10-13 09:37:51 +01:00
Michael Brown	667819becc	[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC	2008-10-13 00:23:18 +01:00
Michael Brown	8c7deba349	[config] Split console configuration out to config/console.h	2008-10-12 02:30:31 +01:00
Michael Brown	e817a347fb	[makefile] Split config.h out into config/*.h and kill off mkconfig.pl	2008-10-08 02:17:32 +01:00