//
// Kernel options
//
// XXX: Indirect branch restricted speculation (SPECTRE_IBRS)
//      is disabled by default as it can lead to significant
//      performance degradation.
//
option SPECTRE_IBRS no   // Enable the IBRS CPU feature
option SERIAL_DEBUG yes  // Enable kmsg serial logging
option USER_KMSG    no   // Show kmsg in user consoles

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

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