I got bored, so I'm working on the pintos kernel over winter break 2012.