Dear Lonnie,
If it can be worked out in some way [..]
If you are targeting a native UEFI system, try the "efiimage" target that generates a binary that can be booted directly from UEFI (just make sure you boot the .efi file, not the .elf file). Or you can use the "chainloader" command if you already use GRUB 2 as your boot loader for UEFI.
The framebuffer example should use the GOP framebuffer and not rely on the VESA BIOS in this case.
If you also need an ISO image for UEFI, there is a patch upstream that provides the "grub2efiiso" target as a convenience [1] (not in the snapshot release yet).
[1] https://github.com/kernkonzept/mk/commit/ce9a28f474c2da4187a0c8f0ca2e43c288b870be
Best regards Martin Decky _______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
