Using Embedded Xinu to Teach Operating Systems on Baremetal RISC-V. - Alexander Gebhard 002; Jack Forden; Oliver Laufenberg; Dennis Brylow (SIGCSE (1), 2024)