Looks pretty interesting. It doesn't seem to do anything particularly novel, but the code appears fairly clean (not perfect, but better than I'd have really expected) and, as they suggested, might be a decent teaching tool.

(And, unlike Loper OS, it's actually shipped!)