Xe's RISCV kernel/OS for learning RISCV - View it on GitHub