sencha: match clint frequency to cheriot-rtos timer_hz
Bypass-Presubmit=+1
Bypass-Presubmit-Reason:collateral damage
Change-Id: I1332ed1ba6ec09ec4830620165c71cffbb078944
diff --git a/platforms/sencha_smc.repl b/platforms/sencha_smc.repl
index 9a25c28..86b3800 100644
--- a/platforms/sencha_smc.repl
+++ b/platforms/sencha_smc.repl
@@ -21,7 +21,7 @@
// NB: match timer_hz in cheriot-rtos/sdk/boards/sencha.json
smc_clint: IRQControllers.CoreLevelInterruptor @ sysbus 0x02000000
- frequency: 66000000
+ frequency: 2000
[0, 1] ->cpu1@[3, 7]
// Control block for the SMC, lets us pause/restart the core at an arbitrary PC.
