Though a bit dated, I highly recommend "The Design and Implementation of the FreeBSD operating System". I have read several operating systems book classics including the book by Silbershatz and Galvin that you referred to and "Unix Internals" by Maurice Bach and the "Magic Garden Explained". I found the Design and Implementation of the BSD operating system much more readable and getting into details at just the right level.