blob: 6bf3af576941d34ed5c56b630ee2a9dd6c055e0a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
//
// 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 CPU_UMIP yes // Enable User-mode Instruction Prevention
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
|