MMURTL V1.0 edit / delete

A book on writing PC operating systems. (I wouldn't recommend the code style here to students.)

to etext os pc ... on 29 June 2020

RISC_OS_Dev edit / delete

A port of RiscOS to run as a Linux userspace process. This is a horrible hack and also pretty neat.

to acorn linux os retrocomputing riscos ... on 02 November 2018

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

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