1 2 3 4 5 6
// Kernel options option SPECTRE_IBRS no option SERIAL_DEBUG yes // Kernel constants setval SCHED_NQUEUE 4