1 /*
2  * Copyright (c) 2006-2021, RT-Thread Development Team
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2012-11-20     Bernard    the first version
9  * 2018-11-22     Jesven     add rt_hw_spin_lock
10  *                           add rt_hw_spin_unlock
11  *                           add smp ipi init
12  */
13 
14 #include <mmu.h>
15 #include <board.h>
16 #include <mm_aspace.h>
17 #include <mm_page.h>
18 #include <setup.h>
19 
20 extern size_t MMUTable[];
21 
rt_hw_board_init(void)22 void rt_hw_board_init(void)
23 {
24     rt_hw_common_setup();
25 }
26