The Ares Operating System
ares-os.org
This is (another!!) one of Drew Devault's projects. Like harelang, it would be a gigantic simplification of existing software. And yes, it is written in harelang.
It was originally a test to see whether harelang could be used for OS development. (It can.)
Bruh I don't mean to knock on the project but the naming scheme seems like a CS undergrad took a mythology class. Makes me think of college hackathons.
Is this something you care about? If so, why?