Hi. I've heard conflicting reports about the true nature of FreeBSD's kernel and whether it is a microkernel or a monolithic kernel. Does anybody know which it definitively is and where on the FreeBSD website I can find out more about this topic? Thanks, Nicholas Ink