Cornell has a 2000 line educational operating system called EGOS (egos-2000 on GitHub) designed by professor Robert van Renesse. It has memory paging, virtual address translation, interrupt handling, process scheduling, system calls, and can run on QEMU or RISC-V.