See also https://en.wikipedia.org/wiki/Xv6 for an attempted equivalent that would be freely redistributable, prepared as material for the MIT OS Engineering course. Apparently they switched from 32-bit x86 to RISC-V as a platform while I wasn’t looking :)