L4 MicroKernel

from 德國人 Jochen Liedtke
L4 MicroKernel 僅提供作業系統所需的四種基礎機制
1. Address Space (定址)
2. Threads (執行緒)
3. Scheduling (排程)
4. Synchronous Inter-Process Communication (同步的行程間通訊) (blocking模式)