Allow kernel to compile