Making a hello-world program in kernel space

Notes This article assumes a single-core RV64I RISC-V CPU with OpenSBI firmware. Getting booted by OpenSBI OpenSBI (the most common firmware used by RISC-V machines) typically loads itself at 0x80000000 , anything below being reserved for MMIO 1 devices. To ensure your kernel's load address doesn't overlap with OpenSBI code, you would typically load your kernel at an address such as 0x80200000 (Bonus: as your kernel is 2MB-aligned, when you set up paging, you can use large pages 2 to minimize TL