rcornwell/ctss: CTSS source and binaries edit / delete

Tidy copy of the CTSS code. I was struck by how modern this is in several ways -- the MAD language it's written in is remarkably nice for the timeframe.

to ctss ibm os retrocomputing source ... on 27 August 2016

A Constructive Look At TempleOS edit / delete

I don't think there's anything especially novel here, but it's certainly an interesting system along the lines of Oberon or Squeak.

to language-design os systems templeos ... on 21 June 2016

Files are hard edit / delete

A comprehensive study of what might go wrong when trying to guarantee that data has been written to disk.

to correctness email fs os ... on 31 December 2015

Loper OS » Seven Laws of Sane Personal Computing edit / delete

One viewpoint -- somewhere between the Unix and Lisp philosophies. (I have a draft set of similar principles for GARStow somewhere...)

to design interface os philosophy ... on 31 December 2015

Ulix OS -- The Literate Operating System edit / delete

As it says. Reading the papers suggests that it's a very incomplete implementation of Unix, unfortunately.

to literate-programming os teaching unix ... on 31 December 2015

9vx edit / delete

"9vx is a port of the plan 9 operating system to freebsd, linux, and os x, using the vx32 sandboxing library to run "user" programs."

to linux os plan9 portability sandbox virtualisation ... on 23 March 2015

Mirage OS edit / delete

"Mirage OS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms." In OCaml. They've done some nice work around their safe TLS implementation.

to ocaml os security tls ... on 22 March 2015

The IX Multilevel-Secure UNIX System edit / delete

"A collection of papers about the IX system, a simple but comprehensive multilevel-secure operating system with mandatory access control, based on the research v10 UNIX system."

to access-control mac os security unix ... on 22 March 2015

LSX Unix Restoration page edit / delete

"For a very long time, the smallest Unix system for the PDP-11 compatible machines - LSX, adapted from Unix V6 by Dr. Heinz Lycklama - was feared lost because it was never officially released outside of Bell Labs and nobody bothered to keep it for posterity." Now they have.

to history lsx os pdp11 retrocomputing unix ... on 05 March 2015

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom