Use 6.5 MHz as ROSC nominal frequency, as specified in the datasheet

JeremyGrosser · Aug 11, 2023 · 9ee7d98 · 9ee7d98
1 parent 041b5da
commit 9ee7d98
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/drivers/rp-clock.adb b/src/drivers/rp-clock.adb
@@ -272,11 +272,7 @@ package body RP.Clock is
 
    function ROSC_Frequency
       return Hertz
-   is (8_000_000);
-   --  ROSC is roughly 5.5 MHz at startup, which cannot be divided evenly to
-   --  produce a 1 MHz clk_tick, which feeds the Timer. Enable_ROSC uses
-   --  experimentally determined values to get ROSC closer to
-   --  8 MHz, which divides evenly.
+   is (6_500_000);
 
    procedure Set_SYS_Source
       (Source : SYS_Clock_Id)