summaryrefslogtreecommitdiff
path: root/FreeRTOS
Commit message (Expand)AuthorAgeFilesLines
* [AUTO][RELEASE]: Bump file header version to "202112.00"johnrhen2021-12-221242-1242/+1242
* Update QEMU project in release-candidate (#749)Gaurav-Aggarwal-AWS2021-12-2032-1518/+4882
* Update FreeRTOS-Kernel submodule pointer to 10.4.6 (#740)Gaurav-Aggarwal-AWS2021-12-158-465/+38
* Cortex M3 QEMU demo now builds with -Wall -Wextra (#727)Joseph Julicher2021-12-085-24/+24
* Advance litani submodule for CBMC proofs (#725)Mark Tuttle2021-12-061-0/+0
* Enable C89 flag for unit tests (#718)Gaurav-Aggarwal-AWS2021-11-182-1/+1
* Fix CI check failureGaurav Aggarwal2021-11-152-2/+2
* Update FreeRTOS-Kernel to mainGaurav Aggarwal2021-11-151-0/+0
* Revert "Revert "UT: Add streambuffer test to make PR #391 pass (#690)""Gaurav Aggarwal2021-11-156-37/+464
* [AUTO][RELEASE]: Bump submodules per manifest.yml for V202111.00202111.00aggarg2021-11-131-0/+0
* [AUTO][RELEASE]: Bump file header version to "202111.00"aggarg2021-11-131240-1240/+1240
* Revert "UT: Add streambuffer test to make PR #391 pass (#690)"Gaurav Aggarwal2021-11-126-464/+37
* Update FreeRTOS-Kernel to 10.4.6Gaurav Aggarwal2021-11-121-0/+0
* 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