summaryrefslogtreecommitdiffstats
path: root/src/config/general.h
Commit message (Collapse)AuthorAgeFilesLines
* [efi] Add EFI image format and basic runtime environmentMichael Brown2008-10-131-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 selectableMichael Brown2008-10-131-0/+8
|
* [config] Make the default image type selection platform-dependentMichael Brown2008-10-131-10/+12
|
* [timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSCMichael Brown2008-10-131-2/+0Star
|
* [config] Split console configuration out to config/console.hMichael Brown2008-10-121-14/+0Star
|
* [makefile] Split config.h out into config/*.h and kill off mkconfig.plMichael Brown2008-10-081-0/+111