Linux PRINTK

Linux kernel does not link with libc becuase of its size and speed.  Many of the libc functions were implemented directly in the kernel.

printf is not defined in the kernel.  Kernel uses printk which has similar syntax to printf with an additional priority flag.  printk copies the formatted string into a kernel log buffer which normally read by syslogd