Ian wrote:
>
> >which supoposedly is a discussion group for porting an
> "extremely
> >reliable operating system" to various architectures
>
> Wow. This is the first I've ever heard of it. I am interested in
> OSs, and I could have
> signed up to a mailing list, but this is the first message I've
> ever gotten.
>
> >Alhtough from the amount I've heard about it in other
> contexts than
> >its own web pages I'm beginning to wonder if it wasn't a
> hoax
>
> It could quite well be. I haven't heard anything about it ever,
> exception from their
> page. I tried e-mailing the guy, offering to help, but he never
> returned the e-mail.
>
> There aren't that many security oriented OSs around :( The
> only ones I can think
> of are NT, OS/2 (Pretty bad security actually), Unix / Linux, and
> BeOS.
Well that makes two of us... Apparently the guy hasn't touched his thesis project for over a year.
Some of the ideas would make sense as linux extensions -- like rtlinux