// Kernel options
option SERIAL_DEBUG yes

// Kernel constants
setval SCHED_NQUEUE 4