Configuring the kernel