Files
x86-bare-metal-examples/uefi

UEFI

Successor for BIOS.

TODO get a hello world program working.

Sources:

Running without image gives the UEFI shell, and a Linux kernel image booted fine with it: http://unix.stackexchange.com/a/228053/32558 , so we just need to generate the image.

OVMF.fd IA32 r15214 downloaded from: https://sourceforge.net/projects/edk2/files/OVMF/OVMF-IA32-r15214.zip/download

Included in-source for convenience, even though it is ugly.

Shell

UEFI gives you an interactive shell that lets you do things like choose an OS to load.

Looks a bit like GRUB, but this is standardized.

exit

Exit the shell.

fs0:

Enter a filesystem.

TODO: how to make it visible in the first place?