Re: [seL4] UEFI support for x86

I think that UEFI would involve the bootloader that the BIOS starts. I don't know if the bootstrap part of UEFI would be handled by seL4 itself or by something like grub/grub2. My wild-ass guess is that anything after seL4 takes over would be handled by a driver process that has the required capabilities to interface with the corresponding hardware.