You are trying to configure the kernel boot phase. It has its own really small library and there are no headers like linux/printk.h . This function is called printf() and is implemented in arch / x86 / boot / printf.c.
The output of this function goes to the channel defined in the BIOS ( int 10h ), and, if necessary, to the legacy (you cannot use UART, which has 32-bit I / O, for example). See the printf.c source file for more details.
source share