I've reread parts of it (2nd edition from 2001) on my vacation the last weeks and at least in the first half of the book there's no mention of microkernel vs Li

I've reread parts of it (2nd edition from 2001) on my vacation the last weeks and at least in the first half of the book there's no mention of microkernel vs Linux - on the other hand, several examples are given "this is how Windows does it, this is how Linux does it" - so there definitely don't seem to be any underhanded sidestabs in there.