Here is information and links about some unusual operating systems, including several discussed above.

https://github.com/jon-jacky/Piety/blob/master/doc/precursor...