Building a kernel from scratch, using C