Operating Systems
- 201
- Debian
- Download site for Debian Hurd CDs. Offers software downloads, support, documentation and news.
- 202
- Debian GNU Hurd
- Free distribution of the original GNU operating system under name of Debian, maintained and updated by many users who volunteer their knowledge, time and effort. The Hurd is a set of servers running on top of the GNU Mach microkernel.
- 206
- Toronto Hurd Group
- An area group willing to help new users to run GNU/Hurd and to develop software for GNU/Hurd. Offers links to related files, support, mailing lists, bug documentation, current tasks and news.
- 208
- Inferno-OS at Google Code
- The official Inferno development site at Google Code; including source code repository, issue tracking and wiki.
- 209
- Inferno Documentation archive
- Papers, articles, manuals and other documentation about Inferno and Limbo.
- 210
- Inferno Programmer's Notebook
- A lab notebook describing experiments conducted in the inferno programming environment.
- 212
- Vita Nuova Holdings Ltd.
- Distributor of Plan 9 and Inferno, including printed documentation and CDs.
- 214
- L3-L4 Microkernel Family
- Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security mechanism based on secure domains: tasks, clans, chiefs. Kernels try to implement only a minimal set of abstractions on which OSs can be built flexibly. L3 has system-wide persistence.
- 215
- DROPS - The Dresden Realtime Operating System Project
- L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.
- 216
- Fiasco
- Preemptible, realtime, 2nd-generation microkernel, fast, maintainable, readable, supports hard priorities, uses non-blocking synchronization for kernel objects to guarantee priority inheritance, ensure runnable high-priority processes never block waiting for lower ones; rework of L4 interface. [Open Source, GPL]
- 218
- SourceForge: L4Ka Microkernel
- The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists.