2f5b186ea2
Add unit tests for kernel PR #679 ( #1015 )
...
Also, fix the broken tests by that PR.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
9e1c6e1ab1
Fix file path in the project file ( #1013 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
201472a578
Update FreeRTOSconfig.h for M2351 ( #1005 )
...
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>
2 years ago
637bde0183
Added Posix Demo run in github action ( #997 )
...
* Added demo runs for Posix GCC in git action
---------
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
2 years ago
03db1e8e49
Set configMAX_SYSCALL_INTERRUPT_PRIORITY to 4 for QEMU demos ( #986 )
...
* Update FreeRTOSConfig.h
* Update FreeRTOSConfig.h
* Update FreeRTOSConfig.h
2 years ago
afb776cc39
Update FreeRTOSConfig.h ( #1008 )
2 years ago
3fcb9a5ad0
Add IAR projects for LPC55S69 ( #1007 )
...
* 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>
2 years ago
14a34fc9e5
Add non trustzone (NTZ) projects for M2351 ( #1003 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
dcb2972d0d
Remove non-existent entry from the project file ( #996 )
...
This removes a warning in the IDE.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
d022baf6cd
Fix incorrect file path in the project file ( #1000 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
87a85a8ee5
Add reg tests to nRF9160 projects ( #1001 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
5b403a6a07
Add reg tests to NuMaker M2351 project ( #992 )
...
* 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>
2 years ago
457418a723
Add Reg tests for CORTEX M33F Keil Simulator Project ( #991 )
...
* 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>
2 years ago
27cbc7f6a2
Update M33F simulator Keil example ( #990 )
...
* 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>
2 years ago
5eaf2f3bce
Add reg tests to LPC55S69 project ( #989 )
...
* Update LPCXpresso55S69 SDK to 2.13.1
* Enable print from non-secure side
* Add register tests
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
4727d6b3cc
Added support for static memory allocation in FreeRTOS-Plus-CLI ( #983 )
...
* 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>
2 years ago
1309654d6f
Added a link to the community supported demos repo in the demos readme.txt ( #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>
2 years ago
d57e2b746b
Set configMAX_SYSCALL_INTERRUPT_PRIORITY to 4 ( #984 )
...
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 ); `)
2 years ago
084b7efe99
Add register tests to Nucleo-L152RE project ( #982 )
...
* 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>
2 years ago
aba448be9c
Add register tests to H743ZI2 demo project ( #977 )
...
Add register tests to H743ZI2 demo project.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: kar-rahul-aws <karahulx@amazon.com>
2 years ago
4408d7430e
Increase minimal stack size config to 2048 words
...
Accomodates increased usage due to newlib thread local storage
2 years ago
63cfc621ed
Enable newlib and picolibc thread local storage
2 years ago
c6325a02ff
Improve vAssertCalled function to include filename / line number info.
2 years ago
84ad9250da
Demo/RISC-V_RV32_QEMU_VIRT_GCC: Add option to build with picolibc
...
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>
2 years ago
bc1a95e9e7
Demo/RISC-V_RV32_QEMU_VIRT_GCC: Add TLS support to linker script
...
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>
2 years ago
9add6bdf98
Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable picolibc TLS when needed
...
When building with Picolibc that has TLS support, enable the relevant
FreeRTOS code.
Signed-off-by: Keith Packard <keithpac@amazon.com>
2 years ago
56cdd1ad12
Demo/RISC-V_RV32_QEMU_VIRT_GCC: Set -march=rv32imac_zicsr
...
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>
2 years ago
827493747f
Demo/RISC-V_RV32_QEMU_VIRT_GCC: Enable configUSE_TRACE_FACILITY
...
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>
2 years ago
82e8d335b8
Demo/CORTEX_M3_MPS2_QEMU_GCC: Add option to build with picolibc
...
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>
2 years ago
15826fe5cc
Demo/CORTEX_M3_MPS2_QEMU_GCC: Define symbols needed for picolibc sbrk 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>
2 years ago
642c495fcb
Demo/CORTEX_M3_MPS2_QEMU_GCC: Add TLS support to linker script
...
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>
2 years ago
f807222c85
Demo/CORTEX_M3_MPS2_QEMU_GCC: Provide picolibc syscall implementation
...
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>
2 years ago
0ecd0f5188
Demo/CORTEX_M3_MPS2_QEMU_GCC: Enable picolibc TLS when needed
...
When building with Picolibc that has TLS support, enable the relevant
FreeRTOS code.
Signed-off-by: Keith Packard <keithpac@amazon.com>
2 years ago
0a1db4b00c
Demo/CORTEX_M3_MPS2_QEMU_GCC: Fix use of -ffunction-sections -fdata-sections
...
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>
2 years ago
68ef270215
Demo/CORTEX_M3_MPS2_QEMU_GCC: Prepare startup.c for use with --gc-sections
...
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>
2 years ago
89ccc1da50
Update multiple submodules ( #981 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
e7d31258f6
Add unit tests for GetStaticBuffer functions ( #964 )
...
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>
2 years ago
c8c1c12765
Remove cast from configMINIMAL_STACK_SIZE ( #971 )
...
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>
2 years ago
69904a7537
Update TCPEchoClient_SingleTasks.c ( #968 )
...
Bug fix for https://github.com/FreeRTOS/FreeRTOS/issues/967
2 years ago
4483c16bd5
Update Readme for the FreeRTOS_PLUS_TCP_ECHO_QEMU_msp2 ( #939 )
...
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>
2 years ago
25d9826eaf
Fix issues in TCP QEMU Demo ( #948 )
...
* 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>
2 years ago
b06d170861
Make static IP address configurable ( #947 )
2 years ago
3c09383fab
Fix CBMC proof failures ( #946 )
...
* 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>
2 years ago
67911f83a6
Create SMP on target test framework. ( #911 )
...
* 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>
2 years ago
93a35f87d2
Added two config options to the FreeRTOSConfig file to get the demo running again. Fixed a typo in a file. Added a section to the link file ( #940 )
...
Co-authored-by: Soren Ptak <skptak@amazon.com>
2 years ago
408c3841ea
Add CBMC proof-running GitHub Action ( #924 )
...
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.
2 years ago
9fa0fb7f0d
update the freertos + TCP demos to use the neew API for getting the UDP pyaload buffer [FreeRTOS_GetUDPPayloadBuffer_ByIPType] ( #938 )
2 years ago
38d5e421eb
Changes in FreeRTOS+TCP demo application files to add compatibility for 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>
2 years ago
cf603c60fa
Update PR template to include checkbox for Unit Test related changes ( #925 )
2 years ago
c040a8d7e3
Cellular transport return socket closed when remote disconnected ( #922 )
...
* Update the return value if socket is closed by remote
2 years ago
Gaurav-Aggarwal-AWS
Devaraj Ranganna
xuelix
kar-rahul-aws
tabarnakos
Joseph Julicher
Sergio Soares
Paul Bartell
Keith Packard
Darian
Aniruddha Kanhere
ActoryOu
Soren Ptak
Kareem Khazem
Tony Josi
chinglee-iot