This is a project to make an operating system that, provided that several very specific parts of the kernel are free of bugs, the whole operating system is mathematically proven to be unbreakable
I will stop any further development on TheosOS. Read why here
The whole project (website, code and documentation) is protected by the GNU GPL License
Tendays <>
This project is hosted at
***
Last modified: Tue Aug 31 17:09:54 IST 2004