I used PintOS in my operating systems class last semester - wish there was a part 2 to that class where we go even more in depth!