Try to get the kernel working