Web Directory
 

L3-L4 Microkernel Family

  Link Details for: L3-L4 Microkernel Family
Link Title: L3-L4 Microkernel Family Open in a new window
Link URL: http://os.inf.tu-dresden.de/L4/
Link Details: 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 h
Category: Top : Computers : Software : Operating_Systems : Realtime : L4
Link Type: Lock this listing - So it can't be removed
ScreenShot:
L3-L4 Microkernel Family