A virtual graphics card for teaching device driver design
Structured linux kernel projects for teaching operating systems concepts