いろいろ検索していたら http://www.trustedos.com というサイトを発見。これもはじめて存在を知る。 TrustedOS for Linux 0.1 Released. というメッセージがあったので、TCSのTrustedLinux？と思ったら(c)copyright 2004 InterSecure.net 違うコピーライト…