1 /*
2     FreeRTOS V10 - Copyright (C) 2021 Real Time Engineers Ltd.
3     All rights reserved
4 
5     VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.
6 
7     This file is part of the FreeRTOS distribution.
8 
9     FreeRTOS is free software; you can redistribute it and/or modify it under
10     the terms of the GNU General Public License (version 2) as published by the
11     Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.
12 
13 	***************************************************************************
14     >>!   NOTE: The modification to the GPL is included to allow you to     !<<
15     >>!   distribute a combined work that includes FreeRTOS without being   !<<
16     >>!   obliged to provide the source code for proprietary components     !<<
17     >>!   outside of the FreeRTOS kernel.                                   !<<
18 	***************************************************************************
19 
20     FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY
21     WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
22     FOR A PARTICULAR PURPOSE.  Full license text is available on the following
23     link: http://www.freertos.org/a00114.html
24 
25     ***************************************************************************
26      *                                                                       *
27      *    FreeRTOS provides completely free yet professionally developed,    *
28      *    robust, strictly quality controlled, supported, and cross          *
29      *    platform software that is more than just the market leader, it     *
30      *    is the industry's de facto standard.                               *
31      *                                                                       *
32      *    Help yourself get started quickly while simultaneously helping     *
33      *    to support the FreeRTOS project by purchasing a FreeRTOS           *
34      *    tutorial book, reference manual, or both:                          *
35      *    http://www.FreeRTOS.org/Documentation                              *
36      *                                                                       *
37     ***************************************************************************
38 
39     http://www.FreeRTOS.org/FAQHelp.html - Having a problem?  Start by reading
40 	the FAQ page "My application does not run, what could be wrong?".  Have you
41 	defined configASSERT()?
42 
43 	http://www.FreeRTOS.org/support - In return for receiving this top quality
44 	embedded software for free we request you assist our global community by
45 	participating in the support forum.
46 
47 	http://www.FreeRTOS.org/training - Investing in training allows your team to
48 	be as productive as possible as early as possible.  Now you can receive
49 	FreeRTOS training directly from Richard Barry, CEO of Real Time Engineers
50 	Ltd, and the world's leading authority on the world's leading RTOS.
51 
52     http://www.FreeRTOS.org/plus - A selection of FreeRTOS ecosystem products,
53     including FreeRTOS+Trace - an indispensable productivity tool, a DOS
54     compatible FAT file system, and our tiny thread aware UDP/IP stack.
55 
56     http://www.FreeRTOS.org/labs - Where new FreeRTOS products go to incubate.
57     Come and try FreeRTOS+TCP, our new open source TCP/IP stack for FreeRTOS.
58 
59     http://www.OpenRTOS.com - Real Time Engineers ltd. license FreeRTOS to High
60     Integrity Systems ltd. to sell under the OpenRTOS brand.  Low cost OpenRTOS
61     licenses offer ticketed support, indemnification and commercial middleware.
62 
63     http://www.SafeRTOS.com - High Integrity Systems also provide a safety
64     engineered and independently SIL3 certified version for use in safety and
65     mission critical applications that require provable dependability.
66 
67     1 tab == 4 spaces!
68 */
69 
70 #ifndef FREERTOS_CONFIG_RISCV_H
71 #define FREERTOS_CONFIG_RISCV_H
72 
73 // This file is included in the common FreeRTOSConfig.h.
74 
75 #include "sdkconfig.h"
76 
77 #define configUSE_PORT_OPTIMISED_TASK_SELECTION         0
78 
79 #ifndef __ASSEMBLER__
80 #if CONFIG_IDF_TARGET_ESP32C3
81 #include "esp32c3/rom/ets_sys.h"
82 #elif CONFIG_IDF_TARGET_ESP32H2
83 #include "esp32h2/rom/ets_sys.h"
84 #endif
85 #endif // __ASSEMBLER__
86 
87 /* The maximum interrupt priority from which FreeRTOS.org API functions can
88    be called.  Only API functions that end in ...FromISR() can be used within
89    interrupts. */
90 #define configMAX_SYSCALL_INTERRUPT_PRIORITY            0
91 
92 #ifndef configISR_STACK_SIZE
93 #define configISR_STACK_SIZE                            (CONFIG_FREERTOS_ISR_STACKSIZE)
94 #endif
95 
96 #ifndef __ASSEMBLER__
97 #if CONFIG_APPTRACE_SV_ENABLE
98 extern int xPortSwitchFlag;
99 #define os_task_switch_is_pended(_cpu_) (xPortSwitchFlag)
100 #else
101 #define os_task_switch_is_pended(_cpu_) (false)
102 #endif
103 #endif
104 
105 #endif // FREERTOS_CONFIG_RISCV_H
106