14c14
< [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642)
---
> [[Liedtke]] explains in [On Microkernel Construction](http://cgi.di.uoa.gr/~mema/courses/mde518/papers/liedtke95.pdf)