Adding to the list of alternatives:
MINIX (http://www.minix3.org/)
MINIX (http://www.minix3.org/)
http://oreilly.com/catalog/opensources/book/appa.html
The chapter by Torvalds in the same book is also worth reading:
http://oreilly.com/openbook/opensources/book/linus.html
The claim that microkernels improve portability makes no sense to me, since Linux itself is very portable, as are the BSDs (especially NetBSD and OpenBSD).