forked from epagris/FreeRTOS-Kernel
0037a6c574
* Change vPortSetupTimerInterrupt in order to have 64bits access on rv64 * Support RV32E - RISC-V architecture (GCC) Signed-off-by: Emmanuel Puerto <emmanuel.puerto@sifive.com> * Support FPU - RISC-V architecture (GCC) Signed-off-by: Emmanuel Puerto <emmanuel.puerto@sifive.com> * Fix interrupt managment and FPU initialization
Each real time kernel port consists of three files that contain the core kernel components and are common to every port, and one or more files that are specific to a particular microcontroller and/or compiler. + The FreeRTOS/Source/Portable/MemMang directory contains the five sample memory allocators as described on the https://www.FreeRTOS.org WEB site. + The other directories each contain files specific to a particular microcontroller or compiler, where the directory name denotes the compiler specific files the directory contains. For example, if you are interested in the [compiler] port for the [architecture] microcontroller, then the port specific files are contained in FreeRTOS/Source/Portable/[compiler]/[architecture] directory. If this is the only port you are interested in then all the other directories can be ignored.