Booting a simple RISC-V based Linux system in QEMU