2926 Commits

Author SHA1 Message Date
2134bd6619 Match @param style for all MQTT demos (#343)
Some demos like MQTT plaintext, serializer, and keep alive do not use @param[in] or @param[out] and instead use @param only. This change makes it so that the style matches among all demos. In addition, because FREERTOS_CONFIG_H has no trailing underscore, CORE_MQTT_CONFIG_H_ is changed to CORE_MQTT_CONFIG_H and same for MBEDTLS_CONFIG_H_.
2020-10-13 13:08:46 -07:00
5f0bf944cb Fix MISRA warnings for platform code used by MQTT demos (#337)
In addition to fixing MISRA warnings, code is updated to have complexity <= 8. Also, this adds changes from PR #313, which allows the support of simultaneous connections in the mbedTLS transport wrapper. 

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
2020-10-13 12:55:26 -07:00
02aafc3a46 Delete all the guidance to use the public mosquitto broker. (#340) 2020-10-13 09:54:29 -07:00
748222bc07 Small MQTT Plaintext hygiene updates (#324)
- Fix the config file header include gaurd
- Fixes comments only in the main prvMQTTDemoTask( void * pvParameters )
- Deletes unused headers.
- Check the return value of MQTT_Disconnect().

Co-authored-by: Oscar Michael Abrina <abrinao@amazon.com>
2020-10-12 18:36:31 -07:00
e4d6696eb2 Add username/password authentication for MQTT Mutual Auth Demo (#334)
MQTT allows authentication through a username/password in the CONNECT packet. This PR allows the username/password to be passed that way through a config macro. Metrics are also collected for AWS IoT Core through a set of configurable macros that are hard coded to FreeRTOS #tskKERNEL_VERSION_NUMBER. The appropriate ALPN protocols are passed when using AWS IoT Core for username/password authentication.
2020-10-12 17:36:33 -07:00
ec12e1719c Move PKCS #11 Mutual Auth Demo from LTS Dev branch (#338)
Move the PKCS #11 Mutual Auth demo from the LTS development branch.

Remove left over and unused mbed TLS contexts.
2020-10-12 15:40:54 -07:00
56d44da270 Exercise xTaskDelayUntil() in demos and tests (#335)
* Update AbortDelay.c so it uses both vTaskDelayUntil() and xTaskDelayUntil().
Update TaskNotifyArray.c to prevent false positive test failures that appear to be caused by unwarranted integer promotion.
Add use of xTaskDelayUntil() to blocktim.c
2020-10-11 17:07:09 -07:00
e07d681cc0 Add tests for the length caps within xStreamBufferSend(). (#319) 2020-10-11 10:27:47 -07:00
00247a7637 Remove extraneous call to MQTT_ProcessLoop (#333) 2020-10-09 10:55:12 -07:00
1b87287e16 Move MQTT Multitasking Demo from lts-development to master (#332)
This moves the MQTT Multitasking Demo under FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/MQTT_Multitask

The project files such as WIN32.vcxproj and WIN32.vcxproj.filters are updated to point to the sources and includes from the coreMQTT submodule.

No changes are made to the actual code. Only paths are updated.

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
2020-10-08 15:27:18 -07:00
168d92132f Move MQTT Mutual Auth Demo from lts-development to master (#331)
This moves the MQTT Mutual Auth Demo under FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/MQTT_Mutual_Auth

The project files such as WIN32.vcxproj and WIN32.vcxproj.filters are updated to point to the sources and includes from the coreMQTT submodule.

No changes are made to the actual code. Only paths are updated.

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: SarenaAWS <6563840+sarenameas@users.noreply.github.com>
Co-authored-by: leegeth <51681119+leegeth@users.noreply.github.com>
2020-10-08 13:56:28 -07:00
0c58a39332 Submodule PKCS #11 and add Standalone PKCS #11 demos (#323)
* Submodule PKCS #11.

* Add PKCS #11 demos.
2020-10-08 13:44:30 -07:00
f8e90ebddb Move MQTT Serializer Demo from lts-development to master (#327)
This moves the MQTT Serializer Demo under FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/MQTT_Serializer.

The project files such as WIN32.vcxproj and WIN32.vcxproj.filters are updated to point to the sources and includes from the coreMQTT submodule.

No changes are made to the actual code. Only names and paths are updated.

Co-authored-by: leegeth <51681119+leegeth@users.noreply.github.com>
Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
2020-10-07 12:46:25 -07:00
706d6888f9 Move MQTT Keep-Alive Demo from lts-development to master (#326)
This moves the MQTT Keep-Alive Demo under FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/MQTT_Keep_Alive.

The project files such as WIN32.vcxproj and WIN32.vcxproj.filters are updated to point to the sources and includes from the coreMQTT submodule.

No changes are made to the actual code. Only paths are updated.

Co-authored-by: SarenaAWS <6563840+sarenameas@users.noreply.github.com>
2020-10-07 12:35:21 -07:00
2f51006020 Fix issue in CORTEX_LM3S811_GCC Demo linkerscipt (#102)
The .text section is listed as *(.text) and results in build
error because there are some .text* sections that are automatically put
into flash later by linker and their LMA overlaps
with .data

Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-10-07 10:00:57 -07:00
e8fefe0ac9 Fix build failure in CORTEX_MPU_LPC54018_MCUXpresso project (#328)
Add missing power libraries. Also increase the size of the privileged
data section as heap is now placed in the privileged data section.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2020-10-06 16:50:34 -07:00
bc54c6bc10 Syntactic proof changes to track 10.4.1 changes (#322)
All changes restricted to comments/formatting.
2020-10-06 13:17:29 -07:00
8979b3817b Remove CBMC proofs of TCP source code (#325)
* Add CMock back for the integration tests.

* Removed the CBMC proofs for TCP

* Add the windows files to allow the CBMC proofs to run
2020-10-06 13:03:52 -07:00
d37b651e77 Add CMock back for the integration tests. (#321) 2020-10-05 14:07:28 -07:00
a6393ee653 This PR adds the TCP submodule to the FreeRTOS/FreeRTOS repo (#307)
* MISRA v5

* Remove TCP code

* Add TCP submodule

* Remove unit test and CMock submodule

* Update submodule pointer
2020-10-05 13:20:42 -07:00
b4f50b8e3f Move MQTT Plaintext Demo from lts-development to master (#315)
This moves the MQTT Plaintext Demo under FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/MQTT_Plain_Text

The project files such as WIN32.vcxproj and WIN32.vcxproj.filters are updated to point to the sources and includes from the coreMQTT submodule.

Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: leegeth <51681119+leegeth@users.noreply.github.com>
Co-authored-by: Archit Aggarwal <architag@amazon.com>
2020-10-05 12:19:21 -07:00
b8993fbd69 Update ParTest.c
Add not to change the LED output number from 10 to 47 when running the Zynq demo on the MicroZed hardware.
2020-10-04 14:47:25 -07:00
bd9db07f28 Add submodules for coreMQTT, coreJSON, and Device Shadow along with platform dependencies (#311)
This adds coreMQTT, coreJSON, and Device Shadow as submodules to the following directories:
coreMQTT: FreeRTOS-Plus/Source/Application-Protocols/coreMQTT
coreJSON: FreeRTOS-Plus/Source/coreJSON
Device Shadow: FreeRTOS/FreeRTOS-Plus/Source/AWS/device-shadow-for-aws-iot-embedded-sdk

Platform sources and includes that are utilized by these libraries are also moved from lts-development branch to master:
FreeRTOS-Plus/Source/FreeRTOS-IoT-Libraries-LTS-Beta2/c_sdk/platform (lts-development) -> 
FreeRTOS-Plus/Source/Application-Protocols/platform (master)


Co-authored-by: abhidixi11 <44424462+abhidixi11@users.noreply.github.com>
Co-authored-by: leegeth <51681119+leegeth@users.noreply.github.com>
Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: Carl Lundin <53273776+lundinc2@users.noreply.github.com>
2020-10-02 20:26:02 -07:00
cdf6d93cb9 Modify CBMC proofs to make assumptions about malloc explicit. (#312)
Some proofs assume that some pointers returned by malloc are not
NULL. This patch modifies those proofs to make these assumptions
explicit with `__CPROVER_assume(pointer != NULL)` for all such
pointers.

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-10-02 18:18:16 -04:00
7c3c168cd4 fix demo picmz-mplab (#89)
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-10-01 17:30:39 -04:00
a8290734d8 Bring in the patches from FreeRTOS dir to FreeRTOS-Plus (#306)
* MISRA v5

* Update patches in FreeRTOS-Plus to match those in FreeRTOS
2020-10-01 16:04:56 -04:00
6cc5310f38 Update issue templates 2020-09-30 17:56:09 -07:00
4b4f2013ae Update issue templates 2020-09-30 17:55:16 -07:00
e733ad858f Create config.yml 2020-09-30 17:53:44 -07:00
6fb8b1fc33 +TCP: Fix spellings (#302)
* MISRA v5

* Add spelling corrections

* Update after Shubham's comments

* Actually fix the spelling
2020-09-28 12:55:22 -04:00
ab70c1ce33 Add 20Mhz support by overwriting MCLKCTRLB default register value 0x11 by 0 (#295) 2020-09-27 23:41:32 -07:00
ea0033a85d Fix a breaking build by removing const (#301) 2020-09-25 11:08:35 -07:00
3f21957cc8 FreeRTOS+TCP: MISRA rules 10.4, 10.8, & 21.15 (#280)
* Use unsigned types/constants where needed.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c
* Address MISRA rule violations in code (primarily Rule 2.2)
* Inline had been disabled for Coverity builds, preventing
Coverity from correctly identifying dead code; this change
removes the disabling of inline during Coverity builds.
* Added an explanation for the inline suppression of Rule
11.4 in prvSocketValid().
* Address MISRA Rule Violations (10.4 & 10.8)
* MISRA: Rule 21.15 changes

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-09-25 08:47:01 -07:00
5d0908b23f FreeRTOS+TCP Fix usGenerateChecksum on 8-bit platforms with odd-aligned buffers (#286)
* Change type of usGenerateChecksum's ulAlignBits to intptr_t

Not all platforms have 32-bit pointers. 8-bit machines such as avr8 have
16-bit pointers.

This patch changes the type of ulAlignBits and renames it to uxAlignBits to
reflect the type change.

This fixes a compiler warning on machines with pointers that aren't
32-bits.

Signed-off-by: Andy Bennett <andyjpb@ashurst.eu.org>

* Fix usGenerateChecksum on odd-aligned buffers with non zero usSum

usGenerateChecksum would generate an incorrect checksum when pucNextData
was odd-aligned and usSum was non-zero.

This was caused by the byte order of usSum not matching the byte order of
the subsequent summing operation.

Odd-aligned buffers are common on 8-bit platforms such as avr8 when using
one of the FreeRTOS dynamic heap allocators.

Signed-off-by: Andy Bennett <andyjpb@ashurst.eu.org>

* Feedback from PR#122

https://github.com/FreeRTOS/FreeRTOS/pull/122

 + Use a uintptr_t rather than an intptr_t.

Changes supplied by Hein Tibosch.

Signed-off-by: Andy Bennett <andyjpb@ashurst.eu.org>

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-09-24 21:53:43 -07:00
7bcc5b48b1 Move ./scripts --> FreeRTOS/Test/CMock/scripts (#298) 2020-09-24 17:17:34 -07:00
190c9e780d Inititial stub for cmock tests (#297) 2020-09-24 17:06:28 -07:00
1fc1bd4321 Add CBMC proofs for FreeRTOS-Plus-CLI (#296) 2020-09-24 13:32:10 -07:00
de502afcb2 Fix rendezvous test failure in EventGroupsDemo (#294)
The rendezvous test in EventGroupsDemo assumed that one tick is not
enough for rendezvous to complete. Turns out that it is not true on a
system with 1ms tick and rendezvous does get complete within one tick.
This commit removes the test with one tick assumption.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2020-09-24 10:24:33 -07:00
dea347fb9a Add Renesas RX72N Envision Kit RTOS Demo using Renesas RXv3 port layer (#167)
* Add Renesas RX72N Envision Kit RTOS Demo using Renesas RXv3 port layer

* Refactor the workaround which makes CC-RX linker optimization working better

To be robust for future updates of Renesas RX SmartConfigurator until the cause of the problem is fixed by Renesas.

* Fix vApplicationMallocFailedHook()'s argument type generated by e2 studio.

No changes are caused in the MOT and SREC files which are built.

* Merge update of submodule (submodule's commit id)

Changes are caused in the MOT and SREC files which are built for Renesas RX72N Envision Kit RTOS Demo.
Theses RTOS Demo programs work after changes.

* Fix: Add checking DPFPU register in RegTest inline asm functions in main_full.c

* Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'

* Revert "Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'"

This reverts commit d684f749bc40fa34c6b87b943f3b866fbe33acd1.

* Revert "Merge remote-tracking branch 'upstream/master' into rx700v3dpfpu"

This reverts commit 3a44473b4ed76a5450eb45febc39a96454b6f5e0, reversing
changes made to 0f4f024fe212617355224989cb37e96d4a28523b.

* Merge remote-tracking branch 'upstream/master' into rx700v3dpfpu

* Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'

* Test: Fix unnecessary update of SiFive_HiFive1_RTOS_demo.url.

* Fix? unnecessary update of SiFive_HiFive1_RTOS_demo.url.

* Fix unnecessary update of SiFive_HiFive1_RTOS_demo.url.
2020-09-22 12:46:11 -07:00
5cc6512986 Fix warnings in CORTEX_M4F_STM32F407ZG-SK project (#287)
The existing startup code was generating some warnings of the form
"Label 'xxxxx' is defined pubweak in a section implicitly declared
root". This change replaces the startup file with the one generated from
latest STM32CubeMX to fix the above warnings.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2020-09-21 13:30:57 -07:00
7e1e35e179 Fix: Demo/RX600_RX64M_RSK_GCC_e2studio RTOS demo project build error (#245)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 17:18:13 -07:00
80e23dde57 Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX600_RX64M_RSK_GCC_e2studio folder (#263)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 16:55:43 -07:00
886e29e2bd Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX100_RX113-RSK_GCC_e2studio_IAR folder (#258)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 16:22:42 -07:00
723dd35cad Upgrade_GCC_project_for_e2v780_in_RX700_RX71M_RSK_GCC_e2studio_IAR (#257)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 16:04:15 -07:00
cfc6672336 Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX200_RX231-RSK_GCC_e2studio_IAR folder (#255)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 15:40:04 -07:00
ec7694384f Maintenance: Make Demo/RX600_RX64M_RSK_Renesas_e2studio RTOS demo project better (#231)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-18 14:25:02 -07:00
080f975c7b version string update to 10.4.1 -- irrespective of file extension (#284)
Update the remaining files that have reference to the version number in them.
2020-09-18 12:53:06 -07:00
0573fea3ee Update (.s, .S) kernel version numbers to 10.4.1 (#283)
* version bump to 10.4.1
* update .s file version numbers
* Update FreeRTOS/History.txt
2020-09-18 10:55:01 -07:00
d5862dbe01 Sync back V10.4.1 (#282)
* Move Kernel submodule pointer to 10.4.1
* Update version number to V10.4.1 (#281)
2020-09-17 17:16:33 -07:00
4ca66b336a Fix: Demo/RX200_RX231-RSK_GCC_e2studio_IAR RTOS demo project IAR build error (#239)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-17 17:00:00 -07:00