For details about the concept of the "Safe Operating System" send an email to mihai at safeos . org
http://www.SafeOS.org