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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
