diff options
| author | Ian Moffett <ian@osmora.org> | 2025-08-12 23:31:41 -0400 |
|---|---|---|
| committer | Ian Moffett <ian@osmora.org> | 2025-08-12 23:31:41 -0400 |
| commit | 60af87ead21331501d3eac54648122f5ec6a4082 (patch) | |
| tree | 4e0b6ee76b6deffe579a4fd41bdf1788dfaa2eb2 /sys/arch/amd64/conf | |
| parent | 466e8e091704c2b5ef1003c36b9538a61e037f6d (diff) | |
kernel/amd64: conf: Add boolean USER_TSC option
Introduce the USER_TSC kernel config option to control whether or not
the 'rdtsc' instruction should be accessible in a user context.
Signed-off-by: Ian Moffett <ian@osmora.org>
Diffstat (limited to 'sys/arch/amd64/conf')
| -rw-r--r-- | sys/arch/amd64/conf/GENERIC | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/arch/amd64/conf/GENERIC b/sys/arch/amd64/conf/GENERIC index 6f573f3..9411999 100644 --- a/sys/arch/amd64/conf/GENERIC +++ b/sys/arch/amd64/conf/GENERIC @@ -8,5 +8,6 @@ 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 |