One more resource is the book "Operating Systems: Design and Implementation 3/e" by Tanenbaum. This guides you through the innards of an operating system called
Minix3[
^]
(Note: I have no first hand experience with either the book or Minix itself, but I see good reviews of that book).