On Wed, May 24, 2017 at 11:14:43AM +0200, Mark Kettenis wrote:
> We're going to need some EFI/UEFI support code in the kernel, i.e. to
> parse the EFI memory map and to call runtime services to get/set the
> RTC. I don't think we want to use the full set of headers that we use
> for the bootloader
We're going to need some EFI/UEFI support code in the kernel, i.e. to
parse the EFI memory map and to call runtime services to get/set the
RTC. I don't think we want to use the full set of headers that we use
for the bootloaders. Instead I propose we add a header that just
defines the few bits we
