Commit Graph

3329 Commits

Author SHA1 Message Date
Paul Bartell
55d0ab4bfe Fix queue/static config for upstream changes 2022-08-09 15:47:46 -07:00
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>
2022-08-08 21:22:35 +05:30
alfred gedeon
4242c47a8d Demo: qemu mps2 echo client cleanup (#833) 2022-08-02 15:05:14 -07:00
Ravishankar Bhagavandas
9058c39aed Add unit tests for stream buffer callback overrides (#832)
* Add tests for streambuffer callback

* Add concurrent readers writers test

* Update manifest
2022-07-29 13:16:52 -07:00
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
2022-07-25 13:52:10 -07:00
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>
2022-07-20 13:35:59 -07:00
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
2022-06-23 11:04:51 -07:00
Gaurav-Aggarwal-AWS
a57f0b1ae3 Remove ThirdParty files from header check (#823)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-06-23 11:35:17 +05:30
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>
2022-06-21 22:45:26 +05:30
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>
2022-06-08 22:39:57 +05:30
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>
2022-06-07 21:21:52 -07:00
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>
2022-06-02 22:32:59 +05:30
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>
2022-05-26 15:27:57 -07:00
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.
2022-05-17 08:37:37 +08:00
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>
2022-04-08 11:14:17 -07:00
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>
2022-04-05 10:09:56 +05:30
Felipe Torrezan
fc9396f576 Migrated RL78/IAR port to EWRL78v3+ (#799) 2022-03-24 09:59:45 -07:00
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.
2022-03-21 15:21:59 -07:00
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>
2022-03-18 10:31:59 -07:00
Muneeb Ahmed
c75769438a Update coreHTTP submodule for llhttp (#803)
* Use dev branch of coreHTTP

* Update included http parser source files
2022-03-14 16:16:16 -07:00
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>
2022-03-11 16:26:31 -08:00
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
2022-03-03 11:50:35 -08:00
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>
2022-02-23 23:20:56 -08:00
Gaurav-Aggarwal-AWS
19b2ed4bf6 Update submodule pointers of third party demos (#798)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-02-22 10:39:53 -08:00
Ming Yue
eadf6d4919 Update spike project ReadMe (#793)
* Update README.

* Update README and fix RV64 toolchain config.
2022-02-18 00:50:40 -08:00
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
2022-02-17 11:23:30 -08:00
林振凱
9abd84992b Set the mtvec register in the Spike demonstraction (#794)
* Set the mtvec register to freertos_risc_v_trap_handler
2022-02-17 11:01:50 -08:00
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>
2022-02-17 11:00:31 -08:00
Gaurav-Aggarwal-AWS
449c7b29ca Demo projects for nRF9160-DK (#784)
* Add demo projects for nRF9160-DK

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-02-09 13:43:26 -08:00
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>
2022-02-08 14:10:28 -08:00
Ming Yue
673d3d7eea Update GCC RISC-V QEMU project to support new RISC-V port and vector mode (#780) 2022-02-08 13:58:34 -08:00
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>
2022-02-04 13:37:42 -08:00
Ming Yue
fea193d03c Update Kernel Pointer. (#779)
* Update Kernel Pointer.

* Update manifest.yml.
2022-02-01 11:33:29 -08:00
alfred gedeon
89515cfb53 Add lexicon words for verifast directory (#783) 2022-01-31 16:13:43 -08:00
Aniruddha Kanhere
07c7ba7aa9 Remove deprecated macro (ipconfigRAND32) references (#781)
* Remove ipconfigRAND32 referances from demos

* Fix license header
2022-01-31 11:18:55 -08:00
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 <>
2022-01-26 17:55:06 -08:00
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
2022-01-18 11:28:57 -08:00
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
2022-01-14 17:53:05 +08:00
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>
2022-01-13 10:30:34 -08:00
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
2022-01-11 11:34:39 -08:00
ActoryOu
9b27a5de4e Return error if invalid input detected in transport layer (Send/Recv) (#773)
* return error if invalid input detected in transport layer
2022-01-11 11:08:43 +08:00
Ravishankar Bhagavandas
4382969a10 Add new names to spell check dictionary (#772) 2022-01-06 18:00:43 -08:00
Gaurav-Aggarwal-AWS
d6a415da70 Update FreeRTOS-Kernel submodule pointer (#771)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-01-06 17:53:35 -08:00
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>
2022-01-05 21:05:11 -08:00
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>
2022-01-05 11:53:53 -08:00
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>
2022-01-04 16:14:54 -08:00
Joseph Julicher
598508a10b added configUSE_TICKLESS_IDLE (#764) 2022-01-04 15:55:12 -07:00
johnrhen
4e450d39d4 Update Fleet Provisioning Demo comments (#762) 2022-01-03 12:12:21 -08:00
Joseph Julicher
626b54819b fix minor spelling issue by removing contraction (#763) 2021-12-28 14:00:26 -07:00
RichardBarry
a7507b082e Correct the version in the header comments. (#760)
Co-authored-by: none <>
2021-12-23 15:28:02 -08:00