« earlier | later » Page 4 of 5
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
What is Kerrighed ? edit / delete
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 |
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.