A virtual graphics card for teaching device driver design
Linux kernel projects for an undergraduate operating systems course