Operating Systems Research
You have found the way to Research on Operating Systems:
- Distributed@ (56)
- Extensible@ (6)
- Language-based@ (9)
- Microkernel@ (137)
- Object-Oriented@ (91)
- Parallel@ (2)
- Persistent@ (4)
- Quality of Service@ (7)
- Realtime@ (15)
- Reflective@ (0)
- Single Address Space@ (11)
- Submicrokernel@ (13)
See also:
- AgentOS@ (56)
- Amoeba@ (2)
- Angel@ (56)
- Apertos@ (91)
- Choices@ (9)
- Cosy@ (2)
- E.R.I.K.A.@ (11)
- EROS@ (10)
- Exopc@ (13)
- Express@ (1)
- Fiasco@ (14)
- Flux-Fluke-Flask@ (1)
- Fox@ (1)
- GLUnix@ (56)
- Go@ (91)
- Grasshopper@ (4)
- GUIDE@ (56)
- Harmony@ (1)
- Hurricane@ (56)
- Iguana@ (91)
- 2K@ (3)
- L4@ (14)
- Mach@ (40)
- MaRTE OS@ (15)
- Maruti@ (3)
- MIT Exokernel@ (13)
- ML@ (1)
- MOSIX@ (56)
- Mungi@ (11)
- Nemesis@ (3)
- Opal@ (11)
- OpenRavenscar@ (15)
- Paramecium@ (2)
- PEACE@ (2)
- Plan 9@ (28)
- Puma@ (56)
- PURE@ (3)
- Roadrunner@ (13)
- Scout@ (7)
- Self@ (16)
- S.Ha.R.K.@ (7)
- Sombrero@ (11)
- Spring@ (15)
- Sprite@ (56)
- Squeak@ (117)
- Sting@ (9)
- SUMO@ (7)
- Synthetix@ (6)
- THE@ (13)
- ThrillOS@ (2)
- TinyOS@ (14)
- Tornado@ (56)
- VINO@ (6)
- x-kernel@ (139)
FunOS - Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language.
Novel OS Work - By Christopher Browne. Very brief, clear descriptions and some critiquing of many OSs, mostly research types, with many links. Puts much current activity in larger context.
SPIN - Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in user-level address spaces, separated from kernel resources and services by an expensive protection boundary. Lets applications specialize the kernel by dynamically linking new code into running systems. Help build the largest human-edited directory on the web.