summaryrefslogtreecommitdiff
path: root/FreeRTOS
Commit message (Expand)AuthorAgeFilesLines
* Increase minimal stack size config to 2048 wordsPaul Bartell2023-03-301-4/+2
* Enable newlib and picolibc thread local storagePaul Bartell2023-03-302-15/+24
* Improve vAssertCalled function to include filename / line number info.Paul Bartell2023-03-302-31/+44
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Add option to build with picolibcKeith Packard2023-03-301-2/+16
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Add TLS support to linker scriptKeith Packard2023-03-301-0/+19
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable picolibc TLS when neededKeith Packard2023-03-301-0/+4
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Set -march=rv32imac_zicsrKeith Packard2023-03-301-1/+1
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable configUSE_TRACE_FACILITYKeith Packard2023-03-301-1/+1
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Add option to build with picolibcKeith Packard2023-03-301-1/+7
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Define symbols needed for picolibc sbrk impleme...Keith Packard2023-03-301-0/+2
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Add TLS support to linker scriptKeith Packard2023-03-301-0/+21
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Provide picolibc syscall implementationKeith Packard2023-03-301-2/+30
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Enable picolibc TLS when neededKeith Packard2023-03-301-0/+4
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Fix use of -ffunction-sections -fdata-sectionsKeith Packard2023-03-301-1/+3
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Prepare startup.c for use with --gc-sectionsKeith Packard2023-03-301-1/+2
* Update multiple submodules (#981)Gaurav-Aggarwal-AWS2023-03-301-0/+0
* Add unit tests for GetStaticBuffer functions (#964)Darian2023-03-2014-55/+967
* Fix CBMC proof failures (#946)Gaurav-Aggarwal-AWS2023-03-064-14/+14
* Create SMP on target test framework. (#911)ActoryOu2023-03-0612-0/+970
* Added two config options to the FreeRTOSConfig file to get the demo running a...Soren Ptak2023-03-053-2/+14
* Add CBMC proof-running GitHub Action (#924)Kareem Khazem2023-03-033-0/+224
* Expand RV32E demo support, prevent 'ebreak' looping (#883)Kody Stribrny2023-02-0610-949/+942
* Use CBMC XML output to enable VSCode debugger (#912)Kareem Khazem2023-01-131-13/+12
* Update kernel submodule pointer for equal priority test cases (#909)chinglee-iot2023-01-091-0/+0
* Update unit test for equal priority task (#903)chinglee-iot2023-01-061-10/+292
* CI: add win32-mingw demo to GithubActions workflowPaul Bartell2022-12-211-2/+2
* msp430_GCC: Update makefile for most recent mspgccPaul Bartell2022-12-211-14/+2
* Update AVR_Dx Atmel Demo (#902)Kody Stribrny2022-12-202-9/+9
* Fix stack smashing in POSIX Demo (#901)Gaurav-Aggarwal-AWS2022-12-153-437/+1
* [AUTO][RELEASE]: Bump file header version to "202212.00"jasonpcarroll2022-12-101297-1297/+1297
* Fix MingW RTOS demo. (#897)jasonpcarroll2022-12-0912-1462/+1753
* WIN32-MSVC Demo Re-work interrupt handling. (#899)jasonpcarroll2022-12-091-60/+58
* FreeRTOS Trace Fixes (#888)Soren Ptak2022-12-078-425/+760
* Fix and improve WIN32-MSVC demo in FreeRTOS/Demo. (#891)jasonpcarroll2022-12-079-679/+935
* Fix IAR GCC buid not to use trace (#895)alfred gedeon2022-12-062-50/+3
* Fix: Build enable trace facility (#890)alfred gedeon2022-12-052-1/+47
* [AUTO][RELEASE]: Bump file header version to "202211.00"jasonpcarroll2022-12-011297-1297/+1297
* FreeRTOS Windows Simulator Build Changes and LTS 2.0 Update (#872)Soren Ptak2022-11-293-5/+5
* Remove coroutines (#874)Paul Bartell2022-11-221151-12449/+4864
* Remove binary and generated files from Kernel Demos (#876)Paul Bartell2022-11-19297-85220/+256
* Update RISC-V Qemu Virt GCC Readme + Makefile (#873)Kody Stribrny2022-11-172-59/+107
* added correct interrupt handler initialization in RISC-V-Qemu-virt_GCC (#864)Andrea2022-11-113-2/+78
* Add Vectored Interrupt Support To SiFive RISC-V Demo (#871)Kody Stribrny2022-11-097-21/+150
* modify a typo (#869)OccupyMars20252022-11-041-1/+1
* Percepio Trace Recorder v4.6.0 (#789)Erik Tamlin2022-11-037-320/+504
* Add a unit test for tasks.c (#867)Gaurav-Aggarwal-AWS2022-11-031-0/+51
* Update VeriFast proofs (#836)Nathan Chong2022-10-2731-1859/+1872
* Arm gcc build qemu mps2 Coretex M3 (#861)alfred gedeon2022-10-201-2/+2
* demo: GCC Posix: Clarify toolchain installation stepsPaul Bartell2022-10-171-26/+184
* Updated configMINIMAL_STACK_SIZE for POSIX demo (#856)arshi0162022-10-101-1/+1