1 /*
2  * Copyright (c) 2006-2020, RT-Thread Development Team
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2020-08-06     whik         first version
9  */
10 #include "config.h"
11 
12 /* hardware initialization */
boardInit(void)13 void boardInit(void)
14 {
15     /* disable watchdog timer */
16     SYSREG->WDOG_CR = 0;
17 }
18 INIT_BOARD_EXPORT(boardInit);
19 
20 /* custom finish command */
21 extern uint32_t SystemCoreClock;
sayHello(void)22 void sayHello(void)
23 {
24      rt_kprintf("Hello RT-Thread! By Microsemi SmartFusion2 Family FPGA-M2S010.\r\n");
25      rt_kprintf("MSS System Core Clock: %d Hz.\r\n", SystemCoreClock);
26 }
27 MSH_CMD_EXPORT(sayHello, "say hello to console");
28