An operating system kernel for RISC-V and AArch64 SBCs - View it on GitHub