Arduino_STM32/GD32F1/libraries/FreeRTOS821/utility
Roger Clark 1a0169b13c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
..
MemMang Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
FreeRTOS.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
FreeRTOSConfig.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
StackMacros.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
croutine.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
croutine.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
deprecated_definitions.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
event_groups.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
event_groups.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
heap_1.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
list.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
list.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
mpu_wrappers.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
port.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
portable.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
portmacro.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
projdefs.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
queue.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
queue.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
readme.txt Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
semphr.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
stdint.readme Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
task.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
tasks.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
timers.c Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00
timers.h Added experimental core for GD32F103 running at overclocked 120Mhz. Note. There is no USB Serial support at the moment in this core 2015-08-31 21:15:23 +10:00

readme.txt

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 directory contains the three files that are common to 
every port - list.c, queue.c and tasks.c.  The kernel is contained within these 
three files.  croutine.c implements the optional co-routine functionality - which
is normally only used on very memory limited systems.

+ The FreeRTOS/Source/Portable directory contains the files that are specific to 
a particular microcontroller and or compiler.

+ The FreeRTOS/Source/include directory contains the real time kernel header 
files.

See the readme file in the FreeRTOS/Source/Portable directory for more 
information.