Switch kernel to WIP