// Kernel options
option SPECTRE_IBRS no
option SERIAL_DEBUG yes

// Kernel constants
setval SCHED_NQUEUE 4