FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2025-12-19 01:55:28 +08:00

Files

alfred gedeon 6b502b5dd3 Build: replace scons with makefile (#235 )

* Build: transform scons into Makefile
* Build: add Makefile dependencies
* Build: remove some tabs from Makefile
* Build: Make builds out of source, move wait for event to kernel port
* Test: update the full test to print status messages
* Build: replace lpthread with pthread

Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>

2020-09-04 18:06:21 -07:00

Demo

…

Source

Build: replace scons with makefile (#235 )

2020-09-04 18:06:21 -07:00

Test

Add CBMC proof for prvProcessEthernetPacket (#199 )

2020-08-27 16:25:17 -07:00

readme.txt

…

readme.txt

Directories:

+ The FreeRTOS-Plus/Source directory contains source code for some of the
  FreeRTOS+ components.  These subdirectories contain further readme files and
  links to documentation.

+ The FreeRTOS-Plus/Demo directory contains a demo application for every most of
  the FreeRTOS+ components.  Lots of the demo applications use the FreeRTOS
  Windows simulator for easy evaluation.  Be aware that FreeRTOS is much slower
  and not deterministic when executed in a simulated environment.

+ See http://www.freertos.org/plus