diff --git a/configs/seL4Config.cmake b/configs/seL4Config.cmake
index 35ed771d0..6346a32d6 100644
--- a/configs/seL4Config.cmake
+++ b/configs/seL4Config.cmake
@@ -199,6 +199,11 @@ config_set(KernelArchArmV7ve ARCH_ARM_V7VE "${KernelArchArmV7ve}")
 config_set(KernelArchArmV8a ARCH_ARM_V8A "${KernelArchArmV8a}")
 config_set(KernelAArch64SErrorIgnore AARCH64_SERROR_IGNORE "${KernelAArch64SErrorIgnore}")
 
+# Export timer frequency to user space:
+if(KernelTimerFrequency)
+  config_set(KernelTimerFrequency TIMER_FREQUENCY "${CONFIGURE_TIMER_FREQUENCY}")
+endif()
+
 # Check for v7ve before v7a as v7ve is a superset and we want to set the
 # actual armv to that, but leave armv7a config enabled for anything that
 # checks directly against it