Working kernel config