1 /*******************************************************************************
2  * Copyright 2019-2021 Microchip FPGA Embedded Systems Solutions.
3  *
4  * SPDX-License-Identifier: MIT
5  *
6  * MPFS HAL Embedded Software
7  *
8 */
9 
10 /******************************************************************************
11  * @file system_startup_defs.h
12  * @author Microchip-FPGA Embedded Systems Solutions
13  * @brief Defines for the system_startup_defs.c
14  */
15 
16 #ifndef SYSTEM_STARTUP_DEFS_H
17 #define SYSTEM_STARTUP_DESF_H
18 
19 #ifdef __cplusplus
20 extern "C" {
21 #endif
22 
23 /*------------------------------------------------------------------------------
24  * Markers used to indicate startup status of hart
25  */
26 #define HLS_MAIN_HART_STARTED               0x12344321U
27 #define HLS_MAIN_HART_FIN_INIT              0x55555555U
28 #define HLS_OTHER_HART_IN_WFI               0x12345678U
29 #define HLS_OTHER_HART_PASSED_WFI           0x87654321U
30 
31 /*------------------------------------------------------------------------------
32  * Define the size of the HLS used
33  * In our HAL, we are using Hart Local storage for debug data storage only
34  * as well as flags for wfi instruction management.
35  * The TLS will take memory from top of the stack if allocated
36  *
37  */
38 #if !defined (HLS_DEBUG_AREA_SIZE)
39 #define HLS_DEBUG_AREA_SIZE     64
40 #endif
41 
42 #ifdef __cplusplus
43 }
44 #endif
45 
46 #endif /* SYSTEM_STARTUP_DESF_H */
47