From 60af87ead21331501d3eac54648122f5ec6a4082 Mon Sep 17 00:00:00 2001 From: Ian Moffett Date: Tue, 12 Aug 2025 23:31:41 -0400 Subject: 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 --- sys/arch/amd64/conf/GENERIC | 1 + 1 file changed, 1 insertion(+) (limited to 'sys/arch/amd64/conf/GENERIC') 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 -- cgit v1.2.3