An Architectural Overview of QNX – inside the industry's only true microkernel [pdf]

Link: https://cseweb.ucsd.edu/~voelker/cse221/papers/qnx-paper92.pdf

Discussion: https://news.ycombinator.com/item?id=36584692