And Marshall Kirk McKusick wrote the latter, "The Design and Implementation of the FreeBSD Operating System"
The FreeBSD kernel/world is almost exquisite in it's engineering simplicity. Compared to the sometimes chaotic world of GNU/Linux (in my experience).