Design and Limitations of TempleOS