blob: 6f573f34d657395b83411fb892f08723d4f1b695 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//
// 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
option CPU_SMEP yes // Supervisor Memory Exec Protection
option I8042_POLL yes // Use polling for the i8042
|
