Created 1974 by Technical University of Berlin group, as alternative to BASIC in teaching, for systematic programming, and related styles: top-down, bottom-up, recursive, modular, syntax-directed. Descriptions, brief resource list, documents. English,...

Several RTOSs with QoS focus: much research is done on networking support for continuous-media applications, very few projects tackle related OS issues, such as scheduling and file system support for bounded response time: overview, status, download, ...

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. ...

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 wait...

L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.