Studying Linux with Mage