TODO.md

Something I don't understand yet

Linux kernel is not a ELF file

The output of Linux kernel arch/riscv/boot/Image is a EFI file instead of a ELF file? I expect to get a kernel in ELF format.

Some references:

• The EFI Boot Stub
• RISC-V Linux kernel image format standardization

What formats of system images are supported by QEMU's -kernel parameter?

• Linux kernel in EFI foramt
• Maybe some other formats?