Writing an operating system kernel from scratch – RISC-V/OpenSBI/Zig