And no one notices the name clash with Xen's mini-os [1]. We've come a long way since Xen and the Art of Virtualization [2].

[1] https://wiki.xenproject.org/wiki/Mini-OS [2] https://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xens...