Fluke Background
Microkernel
Threads, mutexes, IPC, …
Manages CPU and memory
User-level services
File, Network, …
Nested process model
Structured
Well defined
Previous slide
Next slide
Back to first slide
View graphic version