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