SGI did trusted Irix some time ago, and has made code and documents available for "developers interested in implementing trusted systems" See http://oss.sgi.com/projects/ob1/ --dave To Unsubscribe: send mail to majordomo at trustedbsd.org with "unsubscribe trustedbsd-discuss" in the body of the message