Good micro-kernel book suggestions

Question

I am currently 'dreaming' about writing a small micro-kernel for a custom processor. The main reason for doing so is to have an easier way for interfacing a more complicated OS on top of it. However, I know very little about these things.

I have read some basic OS books like the one by Andrew Tanenbaum and the 386BSD Kernel book and I liked the way they presented things.

Does anyone have any good suggestions on good references/books that deal with micro-kernels? Preferably one written like the ones above, with judicious code examples and detailed explanation of the factors influencing the code.

Updated: Maybe micro is not really what I want. More like nano or pico. This is because it is targeted for embedded apps.

Answer 1

Minix is a micro-kernel architecture. Apart from this, many, many books have been publshed on operating system desgn. Not a lot deal with microkernels specifically, you will really have to go on a scrounge through academic journals for this. Get an ACM membership and go through their library. Also, you may be able to get an external subscriber membership to a university library. If the university has a Computer Science department they probably subscribe to all the major CS journals. Finally, there is quite a lot of stuff on the web that covers this.

Answer 2

Have you read this book, written by Tanenbaum too? It describes Minix 3, a microkernel-based OS.