<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-04-17 7:31 GMT+02:00 Bill Frantz <span dir="ltr"><<a href="mailto:frantz@pwpconsult.com" target="_blank">frantz@pwpconsult.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div id=":24i" class="" style="overflow:hidden">If I may toot my own horn here, I worked for many years on such a system.<br>
<br>
The KeyKOS operating system <<a href="http://www.cis.upenn.edu/~KeyKOS/KeyKOS.html" target="_blank">http://www.cis.upenn.edu/~<u></u>KeyKOS/KeyKOS.html</a>> was such a system. It has also been known over the years as Gnosis and GuardOS -- they are all the same code base. (Well, kind of. The first implementation was in IBM 370 Assembler. Later versions were in C and ran on some Motorola 88000 hardware and some Sparc hardware.)<br>


<br>
The KeyKOS Design Document <<a href="http://www.cis.upenn.edu/~KeyKOS/agorics/KeyKos/Gnosis/keywelcome.html" target="_blank">http://www.cis.upenn.edu/~<u></u>KeyKOS/agorics/KeyKos/Gnosis/<u></u>keywelcome.html</a>> is a comprehensive manual of the API for the 370 version. It also includes a number of design writeups which were not implemented. I think by reading it, you can tell which is which.<br>


<br>
The CapROS system <<a href="http://www.capros.org/" target="_blank">http://www.capros.org/</a>> is a clean room clone which runs on Intel x86 and some ARM processors.<br>
<br>
Any questions?</div></blockquote></div><div class="gmail_extra"><br></div>Why is it that these things are always so.. outlandish? I can't use this for a desktop environment.</div><div class="gmail_extra"><br></div><div class="gmail_extra">

Maybe I can use this for a server environment, but a lack of multiprocessor support does not get my hopes up.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Multiprocessor support could be as simple as just running the OS n times, once on every processor. Then communicating between OS's as if they're accessible over the network. This would be pretty good for scaling servers. But memory partitioning, sharing devices, etc. would be unpleasant. Multicore instead of multiprocessor of course ruins the last of possible fun.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">I suppose I'm very defeatist about OS's. A lack of a truly portable application format, thick OS specific API's, etc. cause so much pain in this.<br>

<br>It's simply impossible for me to use these OS's in server environments, I cannot run any software that makes up the stack I'd need for anything. I guess! I'd like to be wrong, but that's what I guess. Coyotos is unreleased, and unproven.<br>

<br>Is there any such project aimed at desktop users? <a href="https://www.haiku-os.org/">https://www.haiku-os.org/</a> is the most promising alt-desktop that I know of. But it's still a fatkernel. It's promising because it aims to be simple, minimalist. Something from which security always rises like zombies from graves.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Sorry for being unknowledgeable about the secure-microkernels-for-which-I-never-had-purpose. I feel like they'd be a treasure trove of interesting technology and activity that I could bury myself in for years and years (seems you have ;), but it also seems like something that will always have terrible limited purposes. If only we had infinite summer vacations to learn things in.</div>

</div>