// Kernel options
option SPECTRE_IBRS no
option SERIAL_DEBUG yes

// Kernel constants
setval SCHED_NQUEUE 4

// Console attributes
setval CONSOLE_BG 0x000000
setval CONSOLE_FG 0XB57614