os.inf.tu-dresden.de
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.
URLs from os.inf.tu-dresden.de:
URL: http://os.inf.tu-dresden.de/drops URL: http://os.inf.tu-dresden.de/L4/l3elan.html URL: http://os.inf.tu-dresden.de/drops/overview.html URL: http://os.inf.tu-dresden.de/fiasco URL: http://os.inf.tu-dresden.de
Queries: