This is fantastic. I started reading Operating Systems Design and Implementation just a couple of days ago. I can see Minix being my secondary OS as I start to tinker with it especially on microprocessors.