Hi so I'm basically trying to debug a kernel for a program. And usually in C i would be able to do stuff like printf or putstr after figuring out how to make a putstr wit putc. What i was wondering is if anyones tried using printk() in the kernel code thats in C. Like do i need to include any file to use printk() on a file im trying to use print for? I'm just getting printk() from this website Kernel Debugging Tips - eLinux.org