133MHz should be enough for everybody...

Signed-off-by: Marc Zyngier <maz@kernel.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/start.c b/start.c
index 0ce51cf..4db1d18 100644
--- a/start.c
+++ b/start.c
@@ -235,7 +235,7 @@ int main(void)
 	bool success;
 	int port;
 
-	success = set_sys_clock_khz(250000, false);
+	success = set_sys_clock_khz(133000, false);
 
 	board_init();
 	tusb_init();