<div dir="ltr">Hi Jon (and others),<div><br></div><div>I was part of the KSOS (later KSOS-11 and KSOS-32) team at LOGICON, which picked up a follow-on contract to use KSOS-11 in a true multi-level-secure production environment. Our target was SYSTEM_LOW as TOP SECRET.</div><div><br></div><div>Yes, we used that compiler for all the KSOS kernel and all the trusted user-space code.</div><div><br></div><div>KSOS-11 only ran on PDP-11/70, and it did use split I&D.</div><div><br></div><div>I have access to the KSOS-11 source code, and have been trying to rebuild that OS, BUT I haven't been able to find that Modula compiler.</div><div><br></div><div>KSOS-11 was a very small kernel, but there was a set of libraries that presented a UNIX system call interface, so it could run some PWB userspace tools, if they were re-compiled.</div><div><br></div><div>I'm using the term KSOS-11, as there was a follow-on project (KSOS-32) that ported the original PDP KSOS to 11/780. I wrote a completely new (simpler) scheduler, the bootstrap and memory management layer for that one.</div><div><br></div><div>And, for "reasons", the entire KSOS project at Logicon was shut down just a week or so after the first user login to KSOS-32.</div><div><br></div><div>KSOS-11 itself and some multi-level applications did ship to DoD customers, and it ran MLS applications for the Navy and USAFE.</div><div><br></div><div>--tep</div><div><br></div><div>ps. Jon was kind enough to remind me that we had corresponded about this in the past -and- to remind me to send to the list, and not just him :-)</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 8, 2024 at 9:08 AM Jon Forrest <<a href="mailto:nobozo@gmail.com">nobozo@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">There was also a Modula2 compiler for the PDP-11 from a university in the UK,<br>
propably York. It was used to some degree at Ford Aerospace for the<br>
KSOS secure Unix project. I think it required separate I&D.<br>
<br>
Jon<br>
</blockquote></div>