atsamd: Convert SAMD51 to use armcm_timer

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
2019-02-01 10:06:20 -05:00
parent 55df8bf55f
commit 26fb421d59
3 changed files with 4 additions and 75 deletions
--- a/src/atsamd/Kconfig
+++ b/src/atsamd/Kconfig
@@ -51,7 +51,7 @@ config MCU
 config CLOCK_FREQ
    int
    default 48000000 if MACH_SAMD21
-    default 25000000 if MACH_SAMD51 # 200000000/8
+    default 120000000 if MACH_SAMD51

 choice
    depends on MACH_SAMD51