[monocasa]

In addition to teaching, it's been used as the core of a couple proprietary OSes for small envs. I think at least one TEE monitor is a heavily modified xv6.