blob: 941199929dcf158d4e716910f40fdee66f31b010 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
//
// 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 USER_TSC no // Enable 'rdtsc' in user mode
option CPU_SMEP yes // Supervisor Memory Exec Protection
option I8042_POLL yes // Use polling for the i8042
|
