// Kernel options
option PANIC_SCR    no   // Clear screen on panic

// Kernel constants
setval SCHED_NQUEUE 4    // Number of scheduler queues (for MLFQ)

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