// Kernel options
option SERIAL_DEBUG yes     // Enable kmsg serial logging
option USER_KMSG    yes     // Show kmsg in user consoles