| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 demo runs for Posix GCC in git action
---------
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
|
|
|
|
|
|
|
| |
* Update FreeRTOSConfig.h
* Update FreeRTOSConfig.h
* Update FreeRTOSConfig.h
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
|
|
| |
This removes a warning in the IDE.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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
* 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
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>
|
|
|
|
|
|
|
|
|
| |
* 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
* 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>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
(#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 instead of 5 to avoid hitting the assert in `Source/portable/GCC/ARM_CM3/port.c` (`configASSERT( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & 0x1U ) == 0U ); `)
|
|
|
|
|
|
| |
* 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.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: kar-rahul-aws <karahulx@amazon.com>
|
|
|
|
| |
Accomodates increased usage due to newlib thread local storage
|
| |
|
| |
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
| |
When building with Picolibc that has TLS support, enable the relevant
FreeRTOS code.
Signed-off-by: Keith Packard <keithpac@amazon.com>
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
| |
When building with Picolibc that has TLS support, enable the relevant
FreeRTOS code.
Signed-off-by: Keith Packard <keithpac@amazon.com>
|
|
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
| |
Bug fix for https://github.com/FreeRTOS/FreeRTOS/issues/967
|
|
|
|
|
|
| |
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
* 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>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
| |
again. Fixed a typo in a file. Added a section to the link file (#940)
Co-authored-by: Soren Ptak <skptak@amazon.com>
|
|
|
|
| |
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.
|
|
|
|
| |
pyaload buffer [FreeRTOS_GetUDPPayloadBuffer_ByIPType] (#938)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 the return value if socket is closed by remote
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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
|