Commit Graph

3479 Commits (9f6437ca6a44bde9d902efc3b7b93fe3bfffd5b5)
 

Author SHA1 Message Date
Paul Bartell 55d0ab4bfe Fix queue/static config for upstream changes 3 years ago
Gaurav-Aggarwal-AWS 5890286b30
Fix incorrect relative paths in Cmake files (#837)
This was reported here - https://github.com/FreeRTOS/FreeRTOS/issues/812

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
alfred gedeon 4242c47a8d
Demo: qemu mps2 echo client cleanup (#833) 3 years ago
Ravishankar Bhagavandas 9058c39aed
Add unit tests for stream buffer callback overrides (#832)
* Add tests for streambuffer callback

* Add concurrent readers writers test

* Update manifest
3 years ago
Angelo Nakos 8e881fe73c
Remove litani submodule and update README to include a section on CBMC (#829)
* Remove Litani submodule

* Update README to include section on CBMC

* Update litani references in Python run script
3 years ago
johnrhen f062becb34
Create Fleet Provisioning Demo AWS Setup Script in Python (#778)
* Create CloudFormation template for demo setup

* Add CF_ prefix to CloudFormation-created resources to avoid collisions

* Update lexicon.txt

* Create initial python setup script

* Create separate demo_cleanup.py file

* Move setup items to DemoSetup folder

* Add demo_config.h setup to the demo_setup.py script

* Modify error logging on demo_setup.py

* Add file cleanup to demo_cleanup.py

* Rename convert_pem_to_der.py to convert_credentials_to_der.py

* Adjust comment wording on demo_cleanup.py

* added configUSE_TICKLESS_IDLE (#764)

* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#766)

* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#768)

Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435

This ensures that the coverage does not go down with the PR
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Add tests to increase queue code coverage (#770)

These tests cover the following portion in the queue code:

static void prvUnlockQueue( Queue_t * const pxQueue )
{
    ...

    if( prvNotifyQueueSetContainer( pxQueue ) != pdFALSE )
    {
        /* The queue is a member of a queue set, and posting to
            * the queue set caused a higher priority task to unblock.
            * A context switch is required. */
        vTaskMissedYield();
    }
    else
    {
        mtCOVERAGE_TEST_MARKER();
    }

    ...
}

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Update FreeRTOS-Kernel submodule pointer (#771)

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Add new names to spell check dictionary (#772)

* Return error if invalid input detected in transport layer (Send/Recv) (#773)

* return error if invalid input detected in transport layer

* Create mqtt_pkcs11_demo_helpers for AWS demos (#769)

* Create mqtt_pkcs11_demo_helpers by modifying mqtt_demo_helpers

* Update formatting and variable naming

* Fix multi-line parameter formatting

* Update file headers to match latest release version

* GCC/Rx100 Demo project files update to e2 Studio v8 (#776)

* Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX100-RSK_GCC_e2studio folder

* Update Demo project file to e2 Studio v8 and remove the .bat file.

* Update the choice of toolchain version.

* Update the link in file header.

Co-authored-by: NoMaY (a user of Japan.RenesasRulz.com) <NoMaY-jp@outlook.com>

* Update FreeRTOS-Cellular-Interface submodule pointer (#775)

* Update cellular sub-module pointer
* Add more log in cellular_setup.c to indicate error
* Adjust cellular transport timeout value for demo application
* Add default cellular module specific config in cellular_config.h

* Create separate demo_cleanup.py file

* Move setup items to DemoSetup folder

* Add demo_config.h setup to the demo_setup.py script

* Modify error logging on demo_setup.py

* Add file cleanup to demo_cleanup.py

* Rename convert_pem_to_der.py to convert_credentials_to_der.py

* Adjust comment wording on demo_cleanup.py

* Adjust comment wording on demo_config.h

* Format files and reduce code redundancy

* Update lexicon.txt

* Remove preconfigured fields from demo_config,h

* Update convert_credentials_to_der.py

Co-authored-by: Archit Gupta <71798289+archigup@users.noreply.github.com>

* Make python files executable

Co-authored-by: Joseph Julicher <jjulicher@mac.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Co-authored-by: Ravishankar Bhagavandas <bhagavar@amazon.com>
Co-authored-by: ActoryOu <jay2002824@gmail.com>
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
Co-authored-by: NoMaY (a user of Japan.RenesasRulz.com) <NoMaY-jp@outlook.com>
Co-authored-by: chinglee-iot <61685396+chinglee-iot@users.noreply.github.com>
Co-authored-by: Archit Gupta <71798289+archigup@users.noreply.github.com>
3 years ago
alfred gedeon cfb32b4f62
Demo: CORTEX M3 MPU MPS2 with QEMU (#813)
* Demo: CORTEX M3 MPU MPS2 with QEMU

* Fix headers

* Update Makefile

Update makefile to point to current directory

* Update Makefile

* Update mps2_m3.ld

* Fix PR comments

* Fix PR Comments

* Fix config value
3 years ago
Gaurav-Aggarwal-AWS a57f0b1ae3
Remove ThirdParty files from header check (#823)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS c472c08d3d
Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h (#822)
* Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h

This is needed to fix build issues in https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/507

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Fix header check

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Tanmoy Sen 73fab252c4
Update feature_request.md (#821)
* Update feature_request.md

* Remove trailing spaces

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
gilbefan 3a5a8e14fc
VSCode launch configurations (#820)
* CORTEX_MPS2_QEMU_IAR_GCC now has VSCode tasks and launch configurations to build, run, and debug in one button. This should work on all platforms (Linux, MacOS, Windows).

* Posix_GCC Demo now has VSCode task and launch configs to build, run, debug in one button for Linux/MacOS ("lldb Launch").

It also has configuration for Windows through Ubuntu ("gdb launch"), and this will also work for Linux if the user wants to use gdb instead of lldb.

* Integrated terminal settings for Ubuntu and MSYS2 ways to run Posix Demo on Windows.

This allows Posix port demo to be built on either WSL/Ubuntu or MSYS2 on Windows.

These are absolute paths so if the user has installed Ubuntu or MSYS2 elsewhere they will need to change them.

* Improved pattern matching in Run QEMU task. Replaced usage of deprecated ${workspaceRoot} with ${workspaceFolder}.

* Split MSYS2 and Ubuntu WSL configurations

MSYS2 works better with external console, and Ubuntu WSL works with internal console. This is reflected by having two different configurations.

* Delete RTOSDemo.map

Cleanup. (This is file is built but never deleted when make-ing)

* Delete null.d

* Cleanup extranneous vscode workspace

* Documentation for VSCode launch configs

Documentation for how to run this demo on VSCode using launch configs.

* Added documentation for VSCode launch configs

Added documentation for running demo through VSCode using launch configurations.

* Removed unneeded .log files and c_cpp_properties.json in CORTEX_MPS2_QEMU_IAR_GCC/.vscode/

* Deleted unnecessary .log files from POSIX_GCC/.vscode

* Set build task problem matcher to "gcc", deault problem matcher from VSCode.

* Removed unneeded "sh -c -l" command from the default build task in CORTEX_MPS2_QEMU_IAR_GCC.

* "Build QEMU" task problem matcher finds the correct paths to problem files.

* Moved steps to "Prerequisites" section.

* Update Readme.md

Fixed markdown typo.

* Moved items to prerequisites for Posix_GCC demo.

Co-authored-by: Fan <gilbefan@f84d899204e1.ant.amazon.com>
3 years ago
Gaurav-Aggarwal-AWS f62d4ecd69
Fix build failures in Nuvoton M2351 projects (#818)
* Fix build failures in Nuvoton M2351 projects

These are needed because of recent changes in the port

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
dependabot[bot] 7c4e06b279
Bump pyjwt from 1.7.1 to 2.4.0 in /.github/scripts/common (#816)
* Bump pyjwt from 1.7.1 to 2.4.0 in /.github/scripts/common

Bumps [pyjwt](https://github.com/jpadilla/pyjwt) from 1.7.1 to 2.4.0.
- [Release notes](https://github.com/jpadilla/pyjwt/releases)
- [Changelog](https://github.com/jpadilla/pyjwt/blob/master/CHANGELOG.rst)
- [Commits](https://github.com/jpadilla/pyjwt/compare/1.7.1...2.4.0)

---
updated-dependencies:
- dependency-name: pyjwt
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

* Bump version of PyGithub for pyjwt version upgrade

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Ravishankar Bhagavandas <bhagavar@amazon.com>
3 years ago
chinglee-iot 5a2c56bf9c
Cancel all command when MQTT command failed (#814)
* Use MQTT Agent provided API, MQTTAgent_CancelAll, to clear queue when
  MQTT command failed.
3 years ago
Gaurav-Aggarwal-AWS ad88de61d0
Add a demo project for NUCLEO-L010RB board (#808)
* Add a demo project for NUCLEO-L010RB board

The board contains a Cortex-M0+ core.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Fix header check

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Fix header check

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
RichardBarry da3a1371db
Fix mpu simulator demo (#805)
* All for the Demo/Cortex_MPU_Simulator_Keil_GCC GCC demo:
+ Update the linker script so the project builds now the heap is part of the privileged data.
+ Add simulator.ini to setup the simulator memory map when the debugger starts to prevent invalid access errors.
+ Set configENFORCE_SYSTEM_CALLS_FROM_KERNEL_ONLY to 1 in FreeRTOSConfig.h, then fix up resultant build errors.
+ Set configALLOW_UNPRIVILEGED_CRITICAL_SECTIONS to 0 in FreeRTOSConfig.h, then fix up resultant build errors.

* Fix compiler warning in Arm startup file.

* Update comments in the file headers to pass the git checkin tests.

* Update header comments to pass git checkin tests.

* Second attempt to get file header comments correct for the check-in tests.

* Third attempt to get the header comments correct.

* Fix spelling.

* Fix manifest check

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

Co-authored-by: none <>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Felipe Torrezan fc9396f576
Migrated RL78/IAR port to EWRL78v3+ (#799) 3 years ago
RichardBarry 1509e4f742
Add a hardware definition project for the MicroZed board (#607)
Add a hardware definition project for the MicroZed board to the existing Zynq ZC702 project.
Add a text file that describes how to switch the Zynq project form the ZC702 hardware to the MicroZed hardware.
3 years ago
RichardBarry 92b26dbf99
Update win32 demo to exercise configRUN_TIME_COUNTER_TYPE (#623)
* PR https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/350 introduced configRUN_TIME_COUNTER_TYPE and ulTaskGetIdleRunTimePercent().  This PR updates the Win32 demo to exercise both additions with configRUN_TIME_COUNTER_TYPE set to uint64_t.

* Add ultaskgetidleruntimepercent to lexicon.txt.

Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
3 years ago
Muneeb Ahmed c75769438a
Update coreHTTP submodule for llhttp (#803)
* Use dev branch of coreHTTP

* Update included http parser source files
3 years ago
Gaurav-Aggarwal-AWS c984275953
Update the SiFive HiFive IAR project (#804)
Update the SiFive HiFive IAR project

1. Update to the latest toolchain.
2. Add the prints needed by CI.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Aniruddha Kanhere 9b7911b046
Update readme file with latest instructions to run CBMC proofs (#801)
* Update readme

* Address comments

* Update instructions according to comments

* Remove windows based instructions

* Add details for CBMC-viewer
3 years ago
Gaurav-Aggarwal-AWS 7f049a4277
Add a URL file for FreeRTOS upgrading instructions (#800)
Instead of having one URL file per FreeRTOS version, we now have one URL
file which points to this page - https://freertos.org/a00104.html#upgrade-instructions

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 19b2ed4bf6
Update submodule pointers of third party demos (#798)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Ming Yue eadf6d4919
Update spike project ReadMe (#793)
* Update README.

* Update README and fix RV64 toolchain config.
3 years ago
Ming Yue 13ece80ea4
Update vega project to use the latest RISC-V port (#788)
Update vega board project to support the new RISC-V port
3 years ago
林振凱 9abd84992b
Set the mtvec register in the Spike demonstraction (#794)
* Set the mtvec register to freertos_risc_v_trap_handler
3 years ago
Ming Yue cc8c0266a8
Update polarfire project to latest RISC-V port with vector mode support (#791)
* Update PolarFire Project to support vector mode.l

* Update vector alignments.

* Update file headers.

* Code review changes

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 449c7b29ca
Demo projects for nRF9160-DK (#784)
* Add demo projects for nRF9160-DK

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 4255ac5c28
Update SiFive FreedomStudio project (#785)
SiFive FreedomStudio project changes needed for refactored code

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Ming Yue 673d3d7eea
Update GCC RISC-V QEMU project to support new RISC-V port and vector mode (#780) 3 years ago
swaldhoer 2b956b97c7
Update uncrustify configuration and improve CI setup (see FreeRTOS/FreeRTOS-Kernel/pull/445) (#782)
* pin uncrustify version and update configuration file

* Update AbortDelay.c

* Update BlockQ.c

* Update MessageBufferDemo.c

* Update QPeek.c

* Update StaticAllocation.c

* Update integer.c

* Update recmutex.c

* Update create.c

* Update prvCopyDataToQueue.c

* Update prvUnlockQueue.c

* Update vQueueDelete.c

* Update xQueueGenericSend.c

* Update xQueueGenericSendFromISR.c

* Update xQueuePeek.c

* Update xQueueReceive.c

* Update IntSemTest.c

* Update dynamic.c

* Update lexicon.txt

Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
3 years ago
Ming Yue fea193d03c
Update Kernel Pointer. (#779)
* Update Kernel Pointer.

* Update manifest.yml.
3 years ago
alfred gedeon 89515cfb53
Add lexicon words for verifast directory (#783) 3 years ago
Aniruddha Kanhere 07c7ba7aa9
Remove deprecated macro (ipconfigRAND32) references (#781)
* Remove ipconfigRAND32 referances from demos

* Fix license header
3 years ago
RichardBarry 4629138a42
Extend qemu virt riscv demo (#774)
* Simple blinky demo working.  Not tried full demo yet.

* Get the full demo running.

* Add Eclipse project to build the RISC-V_RV32_QEMU_VIRT_GCC gcc makefile.

* Add regtest tasks to the RISC-V_RV32_QEMU_VIRT_GCC demo.

* Update priority of the timer task.

* Adjust timer frequency and optimisation level before committing prior to rearranging the Eclipse project.

* Reorganise Eclipse project slightly.

* Add note to the RISC-V-Qemu-virt_GCC readme file about the updated version in RISC-V_RV32_QEMU_VIRT_GCC.

* Update headers in newly added source files so they pass the automated header check.

* Update lexicon to pass automated spell check.

Co-authored-by: none <>
3 years ago
Oscar Shiang 0744c28749
RISC-V-Qemu-virt: Add assert macros in FreeRTOSConfig (#777)
vAssertCalled() is already defined in main.c. We need to set the
related macros in FreeRTOSConfig header as well, or the boundary
checking through assert could not be executed
3 years ago
chinglee-iot 1ce4d784cc
Update FreeRTOS-Cellular-Interface submodule pointer (#775)
* Update cellular sub-module pointer
* Add more log in cellular_setup.c to indicate error
* Adjust cellular transport timeout value for demo application
* Add default cellular module specific config in cellular_config.h
3 years ago
Ming Yue 778ba90b96
GCC/Rx100 Demo project files update to e2 Studio v8 (#776)
* Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX100-RSK_GCC_e2studio folder

* Update Demo project file to e2 Studio v8 and remove the .bat file.

* Update the choice of toolchain version.

* Update the link in file header.

Co-authored-by: NoMaY (a user of Japan.RenesasRulz.com) <NoMaY-jp@outlook.com>
3 years ago
johnrhen 348ebbcbf1
Create mqtt_pkcs11_demo_helpers for AWS demos (#769)
* Create mqtt_pkcs11_demo_helpers by modifying mqtt_demo_helpers

* Update formatting and variable naming

* Fix multi-line parameter formatting

* Update file headers to match latest release version
3 years ago
ActoryOu 9b27a5de4e
Return error if invalid input detected in transport layer (Send/Recv) (#773)
* return error if invalid input detected in transport layer
3 years ago
Ravishankar Bhagavandas 4382969a10
Add new names to spell check dictionary (#772) 3 years ago
Gaurav-Aggarwal-AWS d6a415da70
Update FreeRTOS-Kernel submodule pointer (#771)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 2f5a633383
Add tests to increase queue code coverage (#770)
These tests cover the following portion in the queue code:

static void prvUnlockQueue( Queue_t * const pxQueue )
{
    ...

    if( prvNotifyQueueSetContainer( pxQueue ) != pdFALSE )
    {
        /* The queue is a member of a queue set, and posting to
            * the queue set caused a higher priority task to unblock.
            * A context switch is required. */
        vTaskMissedYield();
    }
    else
    {
        mtCOVERAGE_TEST_MARKER();
    }

    ...
}

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 89938537bc
Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#768)
Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435

This ensures that the coverage does not go down with the PR
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav-Aggarwal-AWS 26dcb22052
Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#766)
* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Joseph Julicher 598508a10b
added configUSE_TICKLESS_IDLE (#764) 3 years ago
johnrhen 4e450d39d4
Update Fleet Provisioning Demo comments (#762) 3 years ago
Joseph Julicher 626b54819b
fix minor spelling issue by removing contraction (#763) 3 years ago
RichardBarry a7507b082e
Correct the version in the header comments. (#760)
Co-authored-by: none <>
3 years ago