summaryrefslogtreecommitdiff
path: root/FreeRTOS
Commit message (Collapse)AuthorAgeFilesLines
* Fix file path in the project file (#1013)HEADmainGaurav-Aggarwal-AWS2023-05-151-2/+2
| | | Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update FreeRTOSconfig.h for M2351 (#1005)Devaraj Ranganna2023-05-154-48/+8
| | | | | | | | | | | | The number of implemented priority bits for Armv8-M baseline implementation is defined by the architecture as 2. Therefore the config option `configPRIO_BITS` is updated to 2. In addition, in Armv8-M baseline implementation BASEPRI is RES0. Therefore, `configMAX_SYSCALL_INTERRUPT_PRIORITY` is not supported. Hence this config option is removed. Signed-off-by: Devaraj Ranganna <devaraj.ranganna@arm.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
* Set configMAX_SYSCALL_INTERRUPT_PRIORITY to 4 for QEMU demos (#986)kar-rahul-aws2023-04-283-3/+3
| | | | | | | * Update FreeRTOSConfig.h * Update FreeRTOSConfig.h * Update FreeRTOSConfig.h
* Add IAR projects for LPC55S69 (#1007)Gaurav-Aggarwal-AWS2023-04-2848-790/+25781
| | | | | | | | | | | | | | | | | | | | * Add IAR projects for LPC55S69 * IAR Project for trustzone * MCUXpresso and IAR projects for non-trustzone (NTZ) ports Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix build issues and warnings Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix formatting check Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add non trustzone (NTZ) projects for M2351 (#1003)Gaurav-Aggarwal-AWS2023-04-2415-55/+5066
| | | Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Remove non-existent entry from the project file (#996)Gaurav-Aggarwal-AWS2023-04-241-1/+0
| | | | | This removes a warning in the IDE. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix incorrect file path in the project file (#1000)Gaurav-Aggarwal-AWS2023-04-241-1/+1
| | | Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add reg tests to nRF9160 projects (#1001)Gaurav-Aggarwal-AWS2023-04-248-132/+1072
| | | Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add reg tests to NuMaker M2351 project (#992)Gaurav-Aggarwal-AWS2023-04-1925-228/+2184
| | | | | | | | | | | | | | | | | | | | | * Add reg tests to NuMaker M2351 project Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Add reg tests for IAR Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix formatting check Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix header check Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add Reg tests for CORTEX M33F Keil Simulator Project (#991)kar-rahul-aws2023-04-198-7/+581
| | | | | | | | | | | | | | | | * Add Reg tests for CORTEX M33F Keil Simulator Project * Code review suggestions Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix hard fault because of main stack overflow Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update M33F simulator Keil example (#990)Devaraj Ranganna2023-04-1815-3335/+263
| | | | | | | | | | | | | | | | | | | | | | | * Update M33F simulator Keil example The example is updated to use latest CMSIS 5.9.0 and Device startup 2.1.0. Signed-off-by: Devaraj Ranganna <devaraj.ranganna@arm.com> * Increase timeout and correct config file path in the secure project Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Remove auto-generated files Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Devaraj Ranganna <devaraj.ranganna@arm.com> Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
* Add reg tests to LPC55S69 project (#989)Gaurav-Aggarwal-AWS2023-04-1853-7479/+9535
| | | | | | | | | * Update LPCXpresso55S69 SDK to 2.13.1 * Enable print from non-secure side * Add register tests Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Added a link to the community supported demos repo in the demos readme.txt ↵Joseph Julicher2023-04-111-1/+8
| | | | | | | | | | | | | | | (#987) * Added a link to the community supported demos repo in the demos readme.txt * Update FreeRTOS/Demo/readme.txt Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com> * Update and rename readme.txt to readme.md --------- Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* Set configMAX_SYSCALL_INTERRUPT_PRIORITY to 4 (#984)Sergio Soares2023-04-101-1/+1
| | | Set configMAX_SYSCALL_INTERRUPT_PRIORITY to 4 instead of 5 to avoid hitting the assert in `Source/portable/GCC/ARM_CM3/port.c` (`configASSERT( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & 0x1U ) == 0U ); `)
* Add register tests to Nucleo-L152RE project (#982)Gaurav-Aggarwal-AWS2023-04-035-0/+726
| | | | | | * Add reg tests for CORTEX_MPU_M3_NUCLEO_L152RE Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: kar-rahul-aws <karahulx@amazon.com>
* Add register tests to H743ZI2 demo project (#977)Gaurav-Aggarwal-AWS2023-04-0319-1615/+8942
| | | | | | Add register tests to H743ZI2 demo project. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: kar-rahul-aws <karahulx@amazon.com>
* Increase minimal stack size config to 2048 wordsPaul Bartell2023-03-301-4/+2
| | | | Accomodates increased usage due to newlib thread local storage
* 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
| | | | | | | When built with PICOLIBC=1, selects picolibc as the C library, uses semihosting to display messages and uses picolibc stdio for output. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Add TLS support to linker scriptKeith Packard2023-03-301-0/+19
| | | | | | | Allocate ROM for initialized thread local storage variables. Allocate TLS offsets for all thread local storage variables. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable picolibc TLS when neededKeith Packard2023-03-301-0/+4
| | | | | | | When building with Picolibc that has TLS support, enable the relevant FreeRTOS code. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Set -march=rv32imac_zicsrKeith Packard2023-03-301-1/+1
| | | | | | | Need to add _zicsr for more recent Risc-V toolchains which don't add this extension to the default set anymore. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable configUSE_TRACE_FACILITYKeith Packard2023-03-301-1/+1
| | | | | | | | I get a build error when this is not set as it (or configGENERATE_RUN_TIME_STATS) are required when using configUSE_STATS_FORMATTING_FUNCTIONS Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Add option to build with picolibcKeith Packard2023-03-301-1/+7
| | | | | | | | | | When built with PICOLIBC=1, selects picolibc as the C library by removing the newlib-nano linker flags and adding --specs=picolibc.specs to the compiler flags. This also selects the integer-only printf variant provided within picolibc to reduce flash use by adding -DPICOLIBC_INTEGER_PRINTF_SCANF. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Define symbols needed for picolibc sbrk ↵Keith Packard2023-03-301-0/+2
| | | | | | | | | implementation Picolibc has an internal version of sbrk that uses slightly different symbol names than the demo provides. Add these in the linker script. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Add TLS support to linker scriptKeith Packard2023-03-301-0/+21
| | | | | | | Allocate ROM for initialized thread local storage variables. Allocate TLS offsets for all thread local storage variables. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Provide picolibc syscall implementationKeith Packard2023-03-301-2/+30
| | | | | | | | | Instead of a set of POSIX-compatible APIs as needed by newlib, picolibc needs a FILE struct allocated that references a function to output a single character. Picolibc also doesn't need sbrk as it has its own version Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Enable picolibc TLS when neededKeith Packard2023-03-301-0/+4
| | | | | | | When building with Picolibc that has TLS support, enable the relevant FreeRTOS code. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Fix use of -ffunction-sections -fdata-sectionsKeith Packard2023-03-301-1/+3
| | | | | | | | | | | For these options to be of any use, they must be passed to the compiler when building object files and then the --gc-sections flag must be passed to the linker. Add -ffunction-sections -fdata-sections to CFLAGS and then add -Wl,--gc-sections to LDFLAGS. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Demo/CORTEX_M3_MPS2_QEMU_GCC: Prepare startup.c for use with --gc-sectionsKeith Packard2023-03-301-1/+2
| | | | | | | | | | Ensure that the handler2_address_const location will be correctly aligned when compiled to a separate section. Add the 'used' attribute to isr_vector to ensure it will not be elided from the output. Signed-off-by: Keith Packard <keithpac@amazon.com>
* Update multiple submodules (#981)Gaurav-Aggarwal-AWS2023-03-301-0/+0
| | | Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add unit tests for GetStaticBuffer functions (#964)Darian2023-03-2014-55/+967
| | | | | | | Add unit tests for the various ...GetStaticBuffer() functions added in https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/641. --------- Co-authored-by: Paul Bartell <pbartell@amazon.com>
* Fix CBMC proof failures (#946)Gaurav-Aggarwal-AWS2023-03-064-14/+14
| | | | | | | | | | | | | | | * Fix CBMC proof failures These were introduced in PR #620. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Update manifest Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Create SMP on target test framework. (#911)ActoryOu2023-03-0612-0/+970
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Framework initialization. * Move testRunner.c to test case subfolder. * Update README doc and formatting. * Add default configurations in test_config.h. * Fix License & formatting check. * Fix typo. * Move setup/teardown functions to main.c file. * Move setup/teardown functions back. * Update README doc. * Patch for comments. * Correct test runner file name. * Move test_config.h to the end of FreeRTOSConfig.h. * Add undef in test_config.h and description in README doc. * Correct the file format. * Fix chinglee-iot comments. * Code review suggestions Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix spell check Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Added two config options to the FreeRTOSConfig file to get the demo running ↵Soren Ptak2023-03-053-2/+14
| | | | | again. Fixed a typo in a file. Added a section to the link file (#940) Co-authored-by: Soren Ptak <skptak@amazon.com>
* Add CBMC proof-running GitHub Action (#924)Kareem Khazem2023-03-033-0/+224
| | | | This commit adds a GitHub Action that runs the CBMC proofs upon every push and pull request. This is intended to replace the current CBMC CI.
* Expand RV32E demo support, prevent 'ebreak' looping (#883)Kody Stribrny2023-02-0610-949/+942
| | | | | | | | | | | | | | | | | | | * Expand RV32E demo support, prevent 'ebreak' looping The RegTest tests are modified in the Qemu and HiFive demos to support RV32E and its limited set of registers. 'ebreak' call looping is removed in RegTest. This produces a lot of noise when debugging. * Correct whitespace * Remove 'ebreak' instruction calls The ebreak instruction sets and exception which leads to jumping around the binary. This can make debugging difficult. * Fix whitespace formatting
* Use CBMC XML output to enable VSCode debugger (#912)Kareem Khazem2023-01-131-13/+12
| | | | | | | Prior to this commit, CBMC would emit logging information in plain text format, which does not contain information required for the CBMC VSCode debugger. This commit makes CBMC use XML instead of plain text. Co-authored-by: Mark Tuttle <tuttle@acm.org>
* 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
| | | | | | | | | | | | | | | | | Update the unit test for the following functions to verify that equal priority task won't be preempted * vTaskResume * xTaskResumeFromISR * vTaskPrioritySet * xTaskResumeAll 4 test cases are added to verify this scenario * test_xTaskResumeAll_success_2_tasks_eq_prio_running_no_yield * test_vTaskPrioritySet_success_eq_curr_prio_curr_tcb * test_vTaskResume_success_eq_curr_prio_not_yield * test_xTaskResumeFromISR_success_eq_curr_prio_suspended_task Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
* 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
| | | | | | | Updates the demo .cproj file to account for new paths since 3P restructure. Also enables the xTaskGetCurrentTaskHandle include which is needed for building. Inspired by - https://forums.freertos.org/t/avr-gcc-warning-extra-tokens-at-end-of-undef-in-porthardware-h/16365/3
* Fix stack smashing in POSIX Demo (#901)Gaurav-Aggarwal-AWS2022-12-153-437/+1
| | | | | | | | | | | | | | | | | | | | | | | | The tracelyzer code was declaring a local stack variable of type `uint32_t` and passing it as output parameter to a function which expected `uint64_t` on a 64-bit platform. This resulted in 4 byte memory corruption. The problem was that the function signature uses `TraceUnsignedBaseType_t` type for the output parameter which gets defined to `uint32_t` on a 32-bit platform and to `uint64_t` on a 64-bit platform, while the local stack variable was declared as `uint32_t`. This commit changes the type of local stack variable to `TraceUnsignedBaseType_t` to match the function parameter type. Tracelyzer creates a task internally stack size of which is controlled using TRC_CFG_CTRL_TASK_STACK_SIZE. It was earlier defined to 1024. The POSIX port requires the stack size to be minimum PTHREAD_STACK_MIN. The commit updates the TRC_CFG_CTRL_TASK_STACK_SIZE to PTHREAD_STACK_MIN. The demo directory contained one extra trcConfig.h and trcKernelPortConfig.h. This commit deletes those files. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* [AUTO][RELEASE]: Bump file header version to "202212.00"jasonpcarroll2022-12-101297-1297/+1297
|
* Fix MingW RTOS demo. (#897)jasonpcarroll2022-12-0912-1462/+1753
| | | | | | | | | | | | | | | | | | | | | * Fix MingW RTOS demo. * Remove unnused variable. * Fix header check. * Remove tabs from source files. * Fix spelling. * Remove unneeded call to vTraceStop. * Fix function. * Fix code coverage project. * Add Makefile to MinGW demo. Co-authored-by: Jason Carroll <czjaso@amazon.com>
* WIN32-MSVC Demo Re-work interrupt handling. (#899)jasonpcarroll2022-12-091-60/+58
| | | | | | | | | * Updated Cellular Interface to mainline. * Re-work keyboard interrupt handling, cleanup deprecated calls to trace library. * Update lexicon.txt Co-authored-by: Jason Carroll <czjaso@amazon.com>
* FreeRTOS Trace Fixes (#888)Soren Ptak2022-12-078-425/+760
| | | | | | * Updating the FreeRTOS/Demo/Posix_GCC Demo's Trace.dump file Creation * Updating the FreeRTOS-Plus/Demo/FreeRTOS_Plus_TCP_Echo_Posix Demo's Trace.dump file Creation Co-authored-by: Soren Ptak <skptak@amazon.com>
* Fix and improve WIN32-MSVC demo in FreeRTOS/Demo. (#891)jasonpcarroll2022-12-079-679/+935
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Fix WIN32-MSVC demo in FreeRTOS/Demo. * Add comments. * Fix corechecks * Re-work trace and keyboard input. * Remove unneeded line from trcConfig.h * Fix formatting in trcConfig.h * Fix heap issues, add FreeRTOS task to simulate keyboard interrupts. * Update comment on main_blinky. * Fix spelling. * Make keyboard input thread block on input. * Set thread affinity of keyboard input thread to not run on the same core as FreeRTOS. * Adjust heap regions and total heap size. * Fix spelling. Co-authored-by: Jason Carroll <czjaso@amazon.com>
View Lorry Controller Status