Commit Graph

3394 Commits (e85b49ad18c6045c024545097c4e3126cbf3cdd8)
 

Author SHA1 Message Date
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
RichardBarry 4d9755d00e
Create Zynq demo using the latest Vitis tools (#746)
* Add hello world project for Vitis.

* Working hello world program.

* Remove the call to ps7_init().

* Demo moved from the XSDK project to Vitis is now compiling - not tried running yet though.

* Blink is printing out in blinky demo.

* Adjust the priorities of the demo tasks to enable them to run at once.
Update blocktim.c so it stores the line on which an error was detected in the error occurred variable rather than just setting the variable to true.

* Add launch configuration file.
Remove unused definitions from FreeRTOSConfig.h.
Edit the comments that describe what the demo does.

* Revert changes to blocktim.c, which should have been in a separate PR.

* Correct header comments in new files.

* Update headers for core checks.

* Third attempt at getting headers through the commit checks - copy headers from other files is not enough.

* Still trying to get core checks to pass.

* Update lexicon.txt

* Correct spelling in Cortex-A9 QEMU main.c.

Co-authored-by: none <>
3 years ago
johnrhen 43defa566c
Apply release changes to main branch (#759)
* Update History.txt and README.md for December release (#744)

* Update History.txt and README.md for release

* Bump mbedtls submodule to v2.28.0 (#745)

* Patch project files for mbedtls (#751)

* Apply group 1 patches

* Apply patches for group 2

* Update project files for mbedTLS new version

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

* Fix warnings in projects

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

* Fix warnings in HTTP_S3_Download demo

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

Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>

* Update changelog and history for corePKCS11 update (#752)

* Update submodule pointer and manifest.yml for corePKCS11 (#754)

* Update readme and history.txt to show that Sigv4 is a newly added library (#756)

* Revert update to v143 of VS toolset (#757)

* [AUTO][RELEASE]: Bump file header version to "202112.00"

* Update file headers to satisfy core checks

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: johnrhen <johnrhen@users.noreply.github.com>
3 years ago
RichardBarry 4f71a94a70
Correct include path in the MPS2 QEMU IAR project. (#748)
Co-authored-by: none <>
3 years ago
RichardBarry dc263aa3a2
Add a GCC build to the QEMU/IAR project (#728)
* Rename the CORTEX_MPS2_QEMU_IAR directory to CORTEX_MPS2_QEMU_IAR_GCC

* Add makefile and startup.c.

* GCC build is working, but not yet running.

* Add eclipse project.

* Tidy up the linker file.
Add the debug launch file to the file system.

* Add printf-stdarg.c to the GCC build.

* Increase heap size for the GCC build.

* Copy IAR project files into a dedicated IAR build directory.

* Delete the IAR project from its original location now it is in its own build directory.

* Update headers to correct version number.

* Update lexicon.txt.

* Update core_checker.py.

* Change line endings in lexicon.txt.

* Increase the stack size of the task that prints out strings.

* Update linker script to build with older ld versions.

* Add links to the online documentation page for this demo.

* Fix line endings

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

* Remove linker and project files from header check

Eclipse project files have names .project and .cproject. Python splitext
will treat these as file names and not as extension and as a result, it
is not enough to just add these to ignored extension list. Instead, we
need to add them to ignored files list.

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

* Remove startup files from header check

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

Co-authored-by: RichardBarry <richardbarry.c@gmail.com>
Co-authored-by: none <>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Mark Tuttle 21f2799392
Always prepare source tree for cbmc proofs (#743)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
3 years ago
Bhaumik Jain b44f5932fe
update submodule pointer in P3 (#737) 3 years ago
chinglee-iot 8f5740a67c
Update the submodule pointer of FreeRTOS-Cellular-Interface (#739)
* Update manifest and submodule pointer of FreeRTOS-Cellular-Interface
3 years ago
Oscar Michael Abrina 3da495ccf8
Update sigv4 submodule pointer to latest release tag (#735)
* Update sigv4 submodule pointer to latest release tag

* Update manifest.yml sigv4 entry to v1.1.0
3 years ago
johnrhen eefc603422
Update fleet provisioning submodule and pointer to release tag (#736) 3 years ago
johnrhen 92c5f8fe50
Add default Claim template to fleet provisioning example (#734) 3 years ago
Aniruddha Kanhere 65fd843787
Update the submodule pointer of FreeRTOS+TCP (#733)
* Update manifest and submodule pointer of TCP

* Update TCP submodule pointer and manifest
3 years ago
johnrhen 56394747d4
Add default thing policy name to Fleet Provisioning example template (#732)
* Add default thing policy name to the example template

* Rename default Thing policy
3 years ago
johnrhen a727061dc2
Create example IoT Thing policy (#731)
* Create example claim policy and update formatting on previous examples

* Add trailing linebreak
3 years ago
Bhaumik Jain 4610b37ade
Update server root CA certificate (#730)
* update server root CA certificate for http demo

* update comments
3 years ago
Joseph Julicher 1102a0df4e
Cortex M3 QEMU demo now builds with -Wall -Wextra (#727)
* Added -Wall -Wextra to the Coretex M3 QEMU demo

* Fixed warnings & errors in Cortex M3 QEMU demo

* Fixed the FULL demo to compile with full errors.

* Update FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/init/startup.c

Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>

* Applied the ( void ) r0 pattern to prvGetRegisterFromStack

Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
3 years ago
johnrhen c1266ddb60
Port the AWS Fleet Provisioning demo from the CSDK (#724)
* Add fleet provisioning and tinycbor submodules

* Copy demo files from FP in CSDK and the Defender Demo

* Modify FP demo files to function in FreeRTOS

* Update styling and formatting of demo files to match FreeRTOS conventions

Co-authored-by: Archit Gupta <71798289+archigup@users.noreply.github.com>
3 years ago
Mark Tuttle eb9caf9d98
Advance litani submodule for CBMC proofs (#725)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
3 years ago
johnrhen b1b3a0a3e9
Add variable PKCS11 label support to using_mbedtls_pkcs11 (#723)
The previous "using_mbedtls_pkcs11.c" implementation requires using the device key and device certificate stored under the labels "pkcs11configLABEL_DEVICE_PRIVATE_KEY_FOR_TLS" and "pkcs11configLABEL_DEVICE_CERTIFICATE_FOR_TLS".

This commit updates the NetworkCredentials to include fields for pClientCertLabel and pPrivateKeyLabel, so other labels can be used with PKCS11. This matches the behavior seen in the CSDK.

This commit also updates the "pkcs11_mqtt_mutual_auth_demo" to set the newly-added NetworkCredentials fields.
3 years ago
johnrhen d2329791aa
Fix PKCS11 demo failures (#722)
* Fix build errors from improper core_pkcs11_pal paths

* Runtime failure fixes

* Runtime PKCS11 demo failure fixes

Co-authored-by: Shivangi <66447522+gshvang@users.noreply.github.com>
3 years ago
andysun2015 426ad44c05
Remove using_mbedtls folder and move its content to the parent folder (#717)
Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/
to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/.
This removes one unnecessary folder in the hierarchy.
3 years ago
Gaurav-Aggarwal-AWS 575acb8a1a
Enable C89 flag for unit tests (#718)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
tianmc1 a483eba7d4
Updated HTTP S3 download demo to show SigV4 usage (#696)
* Updated HTTP S3 download demo to show SigV4 usage

* Fixed missing config in demo_config

* Added dynamic sha256 payload compute

* Fixed some compiler warnings

* Fixed some comments

* remove unused code

* Spell check updates

* Core check fix
3 years ago
andysun2015 75639a3e86
Fix build warning due to log configuration. (#715) 3 years ago
Gaurav Aggarwal 4a465406b4 Fix CI check failure
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav Aggarwal a59838489b Update FreeRTOS-Kernel to main
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Gaurav Aggarwal a86178136d Revert "Revert "UT: Add streambuffer test to make PR #391 pass (#690)""
This reverts commit 7340a72dee.
3 years ago
aggarg 74e03ddcfe [AUTO][RELEASE]: Bump submodules per manifest.yml for V202111.00 3 years ago
aggarg ecd1a8f9f1 [AUTO][RELEASE]: Bump file header version to "202111.00" 3 years ago
Gaurav-Aggarwal-AWS 018649f83e
Update README for release (#708) 3 years ago
Aniruddha Kanhere e106d3fa61
Update manifest and submodule pointer of TCP (#712) 3 years ago
Shivangi 056b32a335
[P3 Release]Manifest file update (#710)
* manifest update
3 years ago
Gaurav Aggarwal 7340a72dee Revert "UT: Add streambuffer test to make PR #391 pass (#690)"
This reverts commit a32ab34192.
3 years ago
Gaurav Aggarwal dd28c8c376 Update FreeRTOS-Kernel to 10.4.6
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
3 years ago
Shivangi f3b6641e16
History.txt update (#706) 3 years ago
Shivangi 7f268e655a
[P3 Release] Update submodule Pointers of the spoke repos in P3 (#707)
* Updating submodule except OTA

* Update Manifest file

* Update Manifest file

* Updating Ota pointer

* Manifest Update
3 years ago