TheosOS - the THEOretically Secure Operating System

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

Bad News

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 Logo *** Last modified: Tue Aug 31 17:09:54 IST 2004