« earlier | later » Page 4 of 5
Microsoft's RMoX ripoff. (OK, there are more charitable ways of looking at it -- but it's basically identical!)
Canned Platypus » Blog Archive » Microkernels
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
The rather cool Plan 9 archiving filesystem.
to filesystem os research ... on 08 October 2005
Zipper-based file server/OS | Lambda the Ultimate
A tiny transactional filesystem written in Haskell.
to filesystem haskell os research ... on 08 October 2005
Prex - Embedded Real-Time Operating System
Another free OS aimed at embedded systems (although it runs on x86 too). Microkernel-based.
Visopsys - Visual Operating System
Another little OS for the PC.
An L4 implementation, with a graphics system.
to kernel microkernel os research ... on 28 September 2005
Another Linux SSI system.
to compsoc distributed linux os software ... on 17 June 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 |
| 41 | os |
| 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.