Can you recommend me any books or online resources to teach a C programmer Kernel development? I can program in C but I don't really know where to go from there. I've tried the Eucalyptus challenge but it just suggests things to try. No actual tutorial.