v0.9.6
[efi] Add EFI image format and basic runtime environment
[makefile] Split config.h out into config/*.h and kill off mkconfig.pl
[config] Split console configuration out to config/console.h
[ioapi] Formalise the I/O API as used in i386-pcbios
[romprefix] Add vendor branding facilities and guidelines
[pci] Formalise the PCI I/O API
[nap] Formalise the CPU sleeping API
[timer] Formalise the timer API
[umalloc] Formalise the user memory allocation API