summaryrefslogtreecommitdiff
path: root/FreeRTOS
Commit message (Expand)AuthorAgeFilesLines
* Updated Safer Interrupt Demo to yield in ISR if higher priority task was woke...tianmc12021-11-098-34/+44
* Fixed some typos in the readme in the Posix_GCC demo (#697)Seppe Soete2021-11-031-3/+3
* Update FreeRTOS submodule to be on the latest main (#700)Joshua Yan2021-11-031-0/+0
* UT: Add streambuffer test to make PR #391 pass (#690)alfred gedeon2021-10-156-37/+464
* Advance litani submodule for cbmc proofs to latest version (#687)Mark Tuttle2021-10-151-0/+0
* Renamed demo for safer interrupt (#686)tianmc12021-10-1276-0/+0
* Added Safe interrupt demo (#685)tianmc12021-09-3076-0/+67419
* Add CBMC viewer configuration files (#683)Mark Tuttle2021-09-1341-14/+1084
* Update LPCXpresso55S69 SDK to 2.10.0 (#684)Gaurav-Aggarwal-AWS2021-09-1365-39353/+22271
* Fix the license year in source files (#681)Gaurav-Aggarwal-AWS2021-09-027-280/+103
* Add demo project for Polarfire board (#679)Gaurav-Aggarwal-AWS2021-09-02134-0/+61494
* Add prints for CI (#670)Gaurav-Aggarwal-AWS2021-07-284-1015/+1008
* Re-add submodules to Community and Partner Contribution repos (#669)Archit Aggarwal2021-07-279-0/+1096
* [AUTO][RELEASE]: Bump submodules per manifest.yml for V202107.00202107.00tianmc12021-07-241-0/+0
* [AUTO][RELEASE]: Bump file header version to "202107.00"tianmc12021-07-241219-1219/+1219
* Hygiene changes of old Demo folders and temporary removal of submodules (#666)Archit Aggarwal2021-07-239-1096/+0
* Updated kernel submodule pointer to kernel V10.4.4 release (#664)tianmc12021-07-221-0/+0
* Add uncrustify github workflow (#659)alfred gedeon2021-07-22180-19007/+19413
* Update the template readme file (#658)Gaurav-Aggarwal-AWS2021-07-201-5/+6
* Update BSP and SDK for HiFive board (#645)Gaurav-Aggarwal-AWS2021-07-15262-6658/+36585
* Fix: qemu mps2 demo bug (#649)alfred gedeon2021-07-151-1/+1
* Add static to a variable in Qemu mps2 demo (#646)alfred gedeon2021-07-141-1/+1
* Demo: Exit on Error with Qemu MPS2 Full Demo (#642)alfred gedeon2021-07-133-8/+55
* Demo: Run uncrustify on quemu mps2 demo (#643)alfred gedeon2021-07-128-958/+1002
* RP2040 Demo (#618)Graham Sanderson2021-07-0929-2/+2885
* Update the size of privileged data section (#639)Gaurav-Aggarwal-AWS2021-07-071-1/+1
* Template Project for existing FreeRTOS port (#637)Shivangi2021-07-019-0/+1097
* Doc: Add new linesAlfred Gedeon2021-06-281-3/+3
* Doc: Improve debugging doc with Qemu demoAlfred Gedeon2021-06-281-10/+19
* Fix data copy address error (#632)thomas-coding2021-06-281-17/+17
* Fix Bug from Issue #565 (#629)victorfdezc2021-06-211-2/+2
* Add new submodules for port demo contribution (#628)Archit Gupta2021-06-212-0/+0
* Demo: fix trace vs coverage options, add option no trace on enterAlfred Gedeon2021-06-094-31/+56
* Remove or rework assumptions in queue proofs (#603)Dan Good2021-06-0433-124/+57
* Remove extra Makefile printAlfred Gedeon2021-06-021-3/+0
* Demo: exit 1 on error exit 2 on Ctrl_CAlfred Gedeon2021-06-022-15/+32
* Make full demo exit on errorAlfred Gedeon2021-06-023-18/+57
* Update unit tests to match changes in queue.c (#614)Dan Good2021-06-0110-534/+56
* Run unctustify, fix some Readme wordingAlfred Gedeon2021-05-2712-1679/+1738
* Enable profiling for the linux portAlfred Gedeon2021-05-273-55/+174
* Test: Mask unit test warning (#592)alfred gedeon2021-05-275-6/+18
* Update kernel HEAD (#611)alfred gedeon2021-05-271-0/+0
* deprecating the mcf5235 demos (#609)Joseph Julicher2021-05-26197-49028/+4
* Clean up commits. (#596)Carl Lundin2021-05-171-1/+1
* Aws only files spell check (#593)Aniruddha Kanhere2021-05-1383-401/+345
* Merge FreeRTOS 202104.00 to main (#585)Archit Aggarwal2021-04-291157-1185/+1185
* Minor update to the UART write function in the IAR/QEMU/MPS2 demo (#535)RichardBarry2021-04-201-7/+10
* Add queue.c CMock unit test (#552)Paul Bartell2021-04-2060-134/+13146
* Revert "Add test for timer start delayed past expiration (#557)" (#566)RichardBarry2021-04-171-51/+0
* Add test for timer start delayed past expiration (#557)Jeff Tenney2021-04-171-0/+51
View Lorry Controller Status