Stanford's pintos - baby OS extended through lab projects