Let's go the whole way - TempleOS.

https://en.wikipedia.org/wiki/TempleOS