2013 GSoC Kernel work