« earlier | later » Page 4 of 5
Index of /its-reference edit / delete
The ITS 1.5 Reference Manual.
to os research retrocomputing ... on 20 November 2005
The shiny new RMoX home page.
Singularity - Home edit / delete
Microsoft's RMoX ripoff. (OK, there are more charitable ways of looking at it -- but it's basically identical!)
Canned Platypus » Blog Archive » Microkernels edit / delete
Some opinion about why microkernels are a good design idea (with lightweight IPC mechanisms).
to microkernel os research ... on 06 November 2005
Venti: a new approach to archival storage edit / delete
The rather cool Plan 9 archiving filesystem.
to filesystem os research ... on 08 October 2005
Zipper-based file server/OS | Lambda the Ultimate edit / delete
A tiny transactional filesystem written in Haskell.
to filesystem haskell os research ... on 08 October 2005
Prex - Embedded Real-Time Operating System edit / delete
Another free OS aimed at embedded systems (although it runs on x86 too). Microkernel-based.
Visopsys - Visual Operating System edit / delete
Another little OS for the PC.
The Fiasco microkernel edit / delete
An L4 implementation, with a graphics system.
to kernel microkernel os research ... on 28 September 2005
« earlier | later » Page 4 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.