ECE497 Configuring the Kernel