Commit Graph

3382 Commits

Author SHA1 Message Date
Paul Bartell
76e5b5c97c Disable unwanted kernel config options 2022-10-20 15:54:50 -07:00
Paul Bartell
698d936682 Remove *.vcxproj.user files and add to gitignore 2022-10-20 15:54:50 -07:00
Paul Bartell
e50a396793 Downgrade library projects to VS 2019. Add heap_4 to kernel. 2022-10-20 15:54:50 -07:00
Paul Bartell
6eaae91c9b winpcap: Consolidate to a single copy of WinPcap 2022-10-20 15:54:50 -07:00
Paul Bartell
8204a97975 Add initial VS project files for Kernel, +TCP, and mbedtls 2022-10-20 15:54:50 -07:00
Paul Bartell
99f77dd5e6 Update FreeRTOS+TCP to v3.1.0 2022-10-20 15:54:50 -07:00
Paul Bartell
6072630e2e Adjust include paths for github workflow 2022-10-20 15:54:50 -07:00
Paul Bartell
8852d67477 Update mbedtls to version v3.2.1 2022-10-20 15:54:50 -07:00
ActoryOu
fc4e9a147c Update cellular interface to v1.3.0. 2022-10-19 15:18:21 -07:00
ActoryOu
471e9d0042 Update cellular interface in manifest. 2022-10-19 15:18:21 -07:00
ActoryOu
6c0bb278af Add cellular modules to manifest.yml. 2022-10-19 15:18:21 -07:00
ActoryOu
6cce3a6764 Update cellular submodules 2022-10-19 15:18:21 -07:00
ActoryOu
2f366a837d Set and update submodule pointer correctly. 2022-10-19 15:18:21 -07:00
ActoryOu
324718d640 Rename module to reduce the file path. 2022-10-19 15:18:21 -07:00
ActoryOu
4ee3d12adf Rename module to reduce the file path. 2022-10-19 15:18:21 -07:00
ActoryOu
70f0685be1 Add cellular modules into repo. 2022-10-19 15:18:21 -07:00
ActoryOu
958e040dfe Change cellular to personal forked repo 2022-10-19 15:18:21 -07:00
Paul Bartell
07a8701d1b demo: GCC Posix: Clarify toolchain installation steps 2022-10-17 13:28:54 -07:00
arshi016
58e55e2588 Updated configMINIMAL_STACK_SIZE for POSIX demo (#856) 2022-10-10 14:35:45 -07:00
Paul Bartell
2c60930238 Update the coreSNTP revision 2022-10-04 14:51:46 -07:00
Gaurav-Aggarwal-AWS
3893cbdb12 Fix test failure in FreeRTOS-Kernel PR #568 (#852)
The test simulates the scenario when a task with priority equal to the
currently executing task is unblocked as a result of the
xTaskIncrementTick call.

Related PR - https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/568

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

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-09-29 12:03:36 +05:30
Gaurav-Aggarwal-AWS
a81231139e Handle patch versions in versioning script (#850)
Update the release automation script so that it can correctly handle
patch version numbers like "10.4.3-LTS-Patch-3".

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-09-29 11:18:37 +05:30
akshayutture
856d0e8363 Created a generic portmacro.h file in the CBMC include folder (#847)
* Created a generic portmacro.h file in the CBMC include folder instead of using the default MSVC-MingW one. This allows each proof to define the portmacro constants it needs and cover all code in the Task Scheduler

* Removed the license text from the portmacro file

* Fix CI checks

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

* Fix spell check

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

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
2022-09-26 14:43:54 -07:00
chinglee-iot
51def4683f Update comm_if_windows for cellular interface (#851)
* Use mutex to protect rxEvent between different threads
* Update naming for static private function
* Update cellular interface submodule pointer
2022-09-26 15:35:31 +08:00
Paul Bartell
0a46f479b9 cellular-demos: Fix alpn strings for use with mbedtls 2022-08-26 09:58:39 -07:00
Paul Bartell
5ac2925d05 winsim-mqtt: Fix ALPN strings in coreMQTT demos 2022-08-26 09:58:39 -07:00
Paul Bartell
bf89af210c winsim-ota: Fix ALPN strings in OTA winsim demos 2022-08-26 09:58:39 -07:00
Paul Bartell
9f7979145a mqtt_demo_helpers: Fix ALPN strings for mbedtls use 2022-08-26 09:58:39 -07:00
chinglee-iot
0fc242b7db Update transport interface for compatibility (#844)
Update transport interface for compatibility

* Update the network transport that using socket wrapper to depend on socket wrapper only.
* AT command timeout should not be changed for cellular socket buffer access mode.
* mbedTLS config include using MBEDTLS_CONFIG_FILE macro.
* Remove strnlen usage in using_mbedtls_pkcs11.
2022-08-26 10:10:15 +08:00
Jeff Tenney
2e772110e3 Add test late timer start (retry #557) (#591)
* Add test for timer start delayed past expiration

This reverts commit 53af0ec62e, which
itself reverted 9c91199016.

* Add warning about vTimerDemoIncludeBacklogTests()

* uncrustify for CI check

* Remove unintentional changes to spacing in comments
2022-08-18 13:54:14 -07:00
Paul Bartell
3693b3e8c9 Fix header checker when copyright regex is None (#843)
Allow header_checker.py to work as it did before when no
copyright regex is defined.
2022-08-18 23:54:11 +05:30
RichardBarry
2808e48079 Fix compiler warning in MessageBufferDemo.c (#842)
* prvReceiverTask() in MessageBufferDemo.c declared a variable as a "MessageBufferHandle_t *" instead of just a "MessageBuffer_t".  This came to light when updating the kernel submodule pointer as the underlying datatype changed in the kernel from a void *.

* Remove additional line that was preventing automated uncrustify tests from passing.

Co-authored-by: none <>
2022-08-18 10:41:39 +05:30
Paul Bartell
3bb3eeb237 Update .github/workflows/freertos_plus_demos.yml
Co-authored-by: Archit Gupta <71798289+archigup@users.noreply.github.com>
2022-08-17 15:43:21 -07:00
Paul Bartell
5d68fdb5cc winsim-ota-demos: Move checks out of demo_config.h
Move checks for undefined democonfig settings from demo_config.h to
each demo task file.
2022-08-17 15:43:21 -07:00
Paul Bartell
2ffe3de4b5 mqtt-multitask-demo: Move demo_config.h checks 2022-08-17 15:43:21 -07:00
Paul Bartell
a8a2234b2b ci: Add CI builds for FreeRTOS+ Demos for WinSim 2022-08-17 15:43:21 -07:00
Paul Bartell
0048a568c9 ci: core_checker: Match copyright line with regex
Allow for a variety of copyright dates by matching copyright statements
with a regex.
2022-08-17 15:43:21 -07:00
Paul Bartell
8f21b61908 Update coreHTTP submodule and revision in manifest 2022-08-17 15:43:21 -07:00
Paul Bartell
c51f6a08af FreeRTOS+CLI Demos: Update to target VS 2019 v142 2022-08-17 15:43:21 -07:00
Paul Bartell
4391920cdc coreSNTP Demo: Update file headers 2022-08-17 15:43:21 -07:00
Paul Bartell
a977a8bca0 Fix paths in corePKCS11/coreMQTT demo 2022-08-17 15:43:21 -07:00
Paul Bartell
c8f9dbef58 Remove unneeded execute permissions 2022-08-17 15:43:21 -07:00
Paul Bartell
a044e089d0 ci.yml: Update manifest check git checkout step
Update manifest checkout step to use fetch-depth=0 and fetch the
entire repository history.
2022-08-17 15:43:21 -07:00
Paul Bartell
466ee59830 winsim-mqtt-demos: Update VS project files 2022-08-17 15:43:21 -07:00
Paul Bartell
06e5417ff1 winsim-mqtt-demos: Remove duplicate config files 2022-08-17 15:43:21 -07:00
Paul Bartell
2ef7770bec coremqtt-winsim: Remove duplicate copy of WinPCap 2022-08-17 15:43:21 -07:00
Paul Bartell
ce4c52c33f ci: Exclude winpcap lib from header file check 2022-08-17 15:43:21 -07:00
Paul Bartell
a685e63049 winpcap: Fix ip6_misc.h header file name. 2022-08-17 15:43:21 -07:00
Paul Bartell
e0e488263e cellular: Update Visual Studio project files 2022-08-17 15:43:21 -07:00
Paul Bartell
7d43b62c9d cellular: Remove duplicate files 2022-08-17 15:43:21 -07:00