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  * 2021-01-30     lizhirui     first version
9  */
10 
11 #ifndef BOARD_H__
12 #define BOARD_H__
13 
14 #include <rtconfig.h>
15 
16 extern unsigned int __bss_start;
17 extern unsigned int __bss_end;
18 
19 #ifndef RT_USING_SMART
20 #define KERNEL_VADDR_START 0x0
21 #endif
22 
23 #define VIRT64_SBI_MEMSZ (0x200000)
24 
25 #define RT_HW_HEAP_BEGIN ((void *)&__bss_end)
26 #define RT_HW_HEAP_END   ((void *)(RT_HW_HEAP_BEGIN + 64 * 1024 * 1024))
27 #define RT_HW_PAGE_START RT_HW_HEAP_END
28 #define RT_HW_PAGE_END   ((void *)(KERNEL_VADDR_START + (256 * 1024 * 1024 - VIRT64_SBI_MEMSZ)))
29 
30 void rt_hw_board_init(void);
31 void rt_init_user_mem(struct rt_thread *thread, const char *name,
32                       unsigned long *entry);
33 
34 #endif
35