"The Design and Implementation of the FreeBSD Operating System" is a great book I highly recommend.