UCC Snack Machine ROM
TPG's "Acess2" OS project, a kinda unix-like OS built from scratch
An OS kernel written in rust