Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [efi] Add EFI image format and basic runtime environment | Michael Brown | 2008-10-13 | 1 | -0/+1 |
| | | | | | | | | | 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. | ||||
* | [sanboot] Quick and dirty hack to make SAN boot protocols selectable | Michael Brown | 2008-10-13 | 1 | -0/+8 |
| | |||||
* | [config] Make the default image type selection platform-dependent | Michael Brown | 2008-10-13 | 1 | -10/+12 |
| | |||||
* | [timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC | Michael Brown | 2008-10-13 | 1 | -2/+0![]() |
| | |||||
* | [config] Split console configuration out to config/console.h | Michael Brown | 2008-10-12 | 1 | -14/+0![]() |
| | |||||
* | [makefile] Split config.h out into config/*.h and kill off mkconfig.pl | Michael Brown | 2008-10-08 | 1 | -0/+111 |