« earlier | later » Page 1 of 5
A book on writing PC operating systems. (I wouldn't recommend the code style here to students.)
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
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 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
Computer Laboratory – Raspberry Pi: Baking Pi – Operating Systems Development edit / delete
OS development on the Raspberry Pi.
to architecture1 arm os programming raspberry-pi ... on 22 March 2015
"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.
« earlier | later » Page 1 of 5
| - os | |
| 1 | + 6502 |
| 1 | + 6809 |
| 1 | + access-control |
| 1 | + acorn |
| 1 | + active-objects |
| 1 | + android |
| 1 | + architecture1 |
| 2 | + arm |
| 1 | + atari |
| 1 | + compsoc |
| 2 | + concurrency |
| 1 | + correctness |
| 1 | + ctss |
| 1 | + design |
| 1 | + distributed |
| 1 | + drivers |
| 1 | |
| 1 | + embedded |
| 1 | + emulation |
| 1 | + etext |
| 1 | + ext2 |
| 3 | + filesystem |
| 1 | + filesystems |
| 1 | + fs |
| 2 | + haskell |
| 1 | + helios |
| 1 | + history |
| 2 | + ibm |
| 1 | + interface |
| 1 | + kent |
| 1 | + kernel |
| 1 | + language |
| 1 | + language-design |
| 4 | + linux |
| 1 | + literate-programming |
| 1 | + lsx |
| 1 | + mac |
| 2 | + microkernel |
| 1 | + mint |
| 1 | + mobile |
| 1 | + mts |
| 1 | + oberon |
| 1 | + ocaml |
| 1 | + papers |
| 1 | + parallel |
| 1 | + pc |
| 1 | + pdp11 |
| 1 | + philosophy |
| 1 | + plan9 |
| 1 | + portability |
| 2 | + programming |
| 2 | + raspberry-pi |
| 20 | + research |
| 11 | + retrocomputing |
| 1 | + riscos |
| 1 | + rmox |
| 1 | + sandbox |
| 2 | + security |
| 8 | + software |
| 1 | + source |
| 1 | + startup |
| 2 | + systems |
| 3 | + teaching |
| 1 | + templeos |
| 1 | + timesharing |
| 1 | + tls |
| 1 | + tos |
| 2 | + transputer |
| 6 | + unix |
| 1 | + uzi |
| 1 | + virtualisation |
| 1 | + xv6 |
| 1 | + z80 |
tasty by Adam Sampson.