From 98b5ccdec08403614a4fae81ec019d6d67dc30c7 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 4 Dec 2018 17:21:59 -0600
Subject: [PATCH] configs/launchxl-cc1312r1/include/board.h:  Set the CC13xx
 SYSCLCK freqency to a fixed 48MHz.

---
 configs/launchxl-cc1312r1/include/board.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configs/launchxl-cc1312r1/include/board.h b/configs/launchxl-cc1312r1/include/board.h
index de33fbe485..001377bf43 100644
--- a/configs/launchxl-cc1312r1/include/board.h
+++ b/configs/launchxl-cc1312r1/include/board.h
@@ -48,6 +48,10 @@
 
 /* Clocking *****************************************************************/
 
+/* Frequency of the ARM core clock */
+
+#define SYSCLK_FREQUENCY      48000000
+
 /* LED definitions **********************************************************/
 
 /* Button definitions *******************************************************/