Building a kernel