RISC-V Image File Format

Linux kernel boot image for RISC-V