Are there books equivalent to e.g. "Understanding the Linux kernel" concerning FreeBSD ? More precisely, books (or other sources) discussing thoroughly the implementation of the FreeBSD kernel on ia32 computers. Yours, Thierry Lacoste.