summaryrefslogtreecommitdiff
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>
* Added Posix Demo run in github action (#997)xuelix2023-05-081-3/+40
| | | | | | | * Added demo runs for Posix GCC in git action --------- Co-authored-by: Joseph Julicher <jjulicher@mac.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
* Update FreeRTOSConfig.h (#1008)kar-rahul-aws2023-04-281-1/+1
|
* 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-1926-228/+2185
| | | | | | | | | | | | | | | | | | | | | * 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-1855-7479/+9537
| | | | | | | | | * 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 support for static memory allocation in FreeRTOS-Plus-CLI (#983)tabarnakos2023-04-133-55/+98
| | | | | | | | | | | | | | | | | | | | | | | | * Added support for static memory allocation in FreeRTOS-Plus-CLI * Removed relative include path * removed whitespace changes * Removed whitespace changes * 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: Marc-André Harvey <marc-andre.harvey@d-ta.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Co-authored-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-0320-1615/+8947
| | | | | | 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-3018-18/+16
| | | 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>
* Remove cast from configMINIMAL_STACK_SIZE (#971)Gaurav-Aggarwal-AWS2023-03-201-1/+1
| | | | | | | | | The configMINIMAL_STACK_SIZE was defined to PTHREAD_STACK_MIN with cast to unsigned short. This cast cab be too restrictive and result in truncation on some platforms. This commit removes this unnecessary cast. Related issue - https://github.com/FreeRTOS/FreeRTOS/issues/967 Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update TCPEchoClient_SingleTasks.c (#968)kar-rahul-aws2023-03-161-1/+1
| | | Bug fix for https://github.com/FreeRTOS/FreeRTOS/issues/967
* Update Readme for the FreeRTOS_PLUS_TCP_ECHO_QEMU_msp2 (#939)kar-rahul-aws2023-03-091-98/+304
| | | | | | Update Readme for the FreeRTOS_PLUS_TCP_ECHO_QEMU_msp2 Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix issues in TCP QEMU Demo (#948)kar-rahul-aws2023-03-073-3/+8
| | | | | | | | | | | | | | | | * Fix issues in TCP QEMU Demo * set the Ethernet interrupt priority * Include CMSIS header files to fix build issues * Review suggestion Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Make static IP address configurable (#947)Aniruddha Kanhere2023-03-061-23/+28
|
* Fix CBMC proof failures (#946)Gaurav-Aggarwal-AWS2023-03-065-15/+15
| | | | | | | | | | | | | | | * 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-0613-0/+971
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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-034-4/+238
| | | | 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.
* update the freertos + TCP demos to use the neew API for getting the UDP ↵Tony Josi2023-03-013-3/+3
| | | | pyaload buffer [FreeRTOS_GetUDPPayloadBuffer_ByIPType] (#938)
* Changes in FreeRTOS+TCP demo application files to add compatibility for ↵kar-rahul-aws2023-02-2213-128/+662
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | running EndPoint changes in the IPv4 stack. (#907) * Update main.c * Update main.c * Update main.c * Update main.c * TCP/IP Demo Changes for Sock Addr Changes * Update SimpleClientAndServer.c * Update TwoEchoClients.c * Update SimpleUDPClientAndServer.c * Update main.c * Update main_networking.c * Update TwoEchoClients.c * Update SimpleClientAndServer.c * Update TwoEchoClients.c * Update SimpleUDPClientAndServer.c * Update main_networking.c * Update main_networking.c * Update main_networking.c * Update main.c * Update main_networking.c * Update main_networking.c * Update main.c * Update main.c * Update main.c * Update main_networking.c * Update main_networking.c * Update plus_tcp_hooks_winsim.c * Update plus_tcp_hooks_winsim.c * Update main.c * Update main.c * Update main_networking.c * Update main_networking.c * Update plus_tcp_hooks_winsim.c * Update lexicon.txt * Update lexicon.txt * Update lexicon.txt * Fix core header check Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Update main_networking.c * Update CLI-commands.c * Update plus_tcp_hooks_winsim.c * Code review suggestions Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Remove incorrect spelling from lexicon Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Fix Build issues in QEMU and UDP demo * Lexicon spell check issue fix * WinPcap Network Interface update * Update Network_winPCap.c * Adding declaration for pxMyInterface for EndPoint changed function in WinPCap.c * Revert changes for WinPCap.c * Update NetworkInterface_WinPCap.c * Minor code review suggestions 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 PR template to include checkbox for Unit Test related changes (#925)Aniruddha Kanhere2023-02-201-0/+7
|
* Cellular transport return socket closed when remote disconnected (#922)chinglee-iot2023-02-101-0/+4
| | | * Update the return value if socket is closed by remote
* 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