Commit graph

3305 commits

Author SHA1 Message Date
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
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 <>
2021-12-23 14:43:41 -08:00
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>
2021-12-23 10:16:27 -08:00
RichardBarry
4f71a94a70
Correct include path in the MPS2 QEMU IAR project. (#748)
Co-authored-by: none <>
2021-12-19 20:27:29 -08:00
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>
2021-12-18 15:11:29 -08:00
Mark Tuttle
21f2799392
Always prepare source tree for cbmc proofs (#743)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-12-17 10:59:10 -08:00
Bhaumik Jain
b44f5932fe
update submodule pointer in P3 (#737) 2021-12-16 10:44:25 -08:00
chinglee-iot
8f5740a67c
Update the submodule pointer of FreeRTOS-Cellular-Interface (#739)
* Update manifest and submodule pointer of FreeRTOS-Cellular-Interface
2021-12-16 10:43:24 -08:00
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
2021-12-15 17:55:52 -08:00
johnrhen
eefc603422
Update fleet provisioning submodule and pointer to release tag (#736) 2021-12-15 16:39:52 -08:00
johnrhen
92c5f8fe50
Add default Claim template to fleet provisioning example (#734) 2021-12-14 15:29:10 -08:00
Aniruddha Kanhere
65fd843787
Update the submodule pointer of FreeRTOS+TCP (#733)
* Update manifest and submodule pointer of TCP

* Update TCP submodule pointer and manifest
2021-12-14 15:22:13 -08:00
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
2021-12-14 13:11:03 -08:00
johnrhen
a727061dc2
Create example IoT Thing policy (#731)
* Create example claim policy and update formatting on previous examples

* Add trailing linebreak
2021-12-14 11:31:41 -08:00
Bhaumik Jain
4610b37ade
Update server root CA certificate (#730)
* update server root CA certificate for http demo

* update comments
2021-12-13 10:37:24 -08:00
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>
2021-12-08 14:27:48 -07:00
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>
2021-12-08 13:17:00 -08:00
Mark Tuttle
eb9caf9d98
Advance litani submodule for CBMC proofs (#725)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-12-06 17:42:13 -07:00
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.
2021-11-26 10:49:59 -08:00
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>
2021-11-24 12:50:15 -08:00
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.
2021-11-18 13:23:41 -08:00
Gaurav-Aggarwal-AWS
575acb8a1a
Enable C89 flag for unit tests (#718)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2021-11-18 12:47:04 -08:00
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
2021-11-16 14:47:02 -08:00
andysun2015
75639a3e86
Fix build warning due to log configuration. (#715) 2021-11-16 10:24:17 +08:00
Gaurav Aggarwal
4a465406b4 Fix CI check failure
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2021-11-15 13:34:03 -08:00