diff options
| -rw-r--r-- | source/hal/source/platform/mps3/source/timer_mps3.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/source/hal/source/platform/mps3/source/timer_mps3.c b/source/hal/source/platform/mps3/source/timer_mps3.c index beb0435..bce782c 100644 --- a/source/hal/source/platform/mps3/source/timer_mps3.c +++ b/source/hal/source/platform/mps3/source/timer_mps3.c @@ -139,9 +139,6 @@ uint32_t get_mps3_core_clock(void) const uint32_t default_clock = 32000000 /* 32 MHz clock */; static int warned_once = 0; if (0 != MPS3_SCC->CFG_ACLK) { - if (default_clock != MPS3_SCC->CFG_ACLK) { - warn("System clock is different to the MPS3 config set clock.\n"); - } return MPS3_SCC->CFG_ACLK; } |