More things - kernel uncompilable for now