Paul Bartell
04e4769e75
Rename / relocate transport interface implementations
2022-10-24 12:44:13 -07:00
Paul Bartell
b7bee23b7a
Update coreHTTP Plaintext demo
2022-10-20 17:27:58 -07:00
Paul Bartell
fe0b5bd7c6
Disable FreeRTOS Kernel malloc failed hook
2022-10-20 17:27:58 -07:00
Paul Bartell
4de35c6a8f
Add coreHTTP, Logging libs. Adjust dependencies
2022-10-20 17:27:58 -07:00
Paul Bartell
249028b321
mbedtls_freertos_port.c: Fix formatting?
2022-10-20 15:54:50 -07:00
Paul Bartell
6609f6a600
Move projects to their own directories to make VisualStudio happy
2022-10-20 15:54:50 -07:00
Paul Bartell
90003b2231
Mask MSVC string function warnings
...
Aad _CRT_SECURE_NO_WARNINGS preprocessor definition.
2022-10-20 15:54:50 -07:00
Paul Bartell
5fabdb824a
Update FreeRTOS+TCP Minimal Demo for Windows Simulator
2022-10-20 15:54:50 -07:00
Paul Bartell
e0233af237
Add wpcap lib to FreeRTOS+TCP.vcxproj
2022-10-20 15:54:50 -07:00
Paul Bartell
1d1eebfe5e
Fix typo in name WindowSimulator -> WindowsSimulator
2022-10-20 15:54:50 -07:00
Paul Bartell
f887dbe34f
Update vcxproj files for +TCP, Kernel, Mbedtls
2022-10-20 15:54:50 -07:00
Paul Bartell
8eef4be870
Fix typo in mbedtls_freertos_port.c
2022-10-20 15:54:50 -07:00
Paul Bartell
fb11284c77
Update mbedtls transport implementations for mbedtls v3.2.1
2022-10-20 15:54:50 -07:00
Paul Bartell
94157f09a5
Remove .suo and .vcxproj.user files
2022-10-20 15:54:50 -07:00
Paul Bartell
0ea8bac29c
Update FreeRTOS+TCP Windows Minimal sln
2022-10-20 15:54:50 -07:00
Paul Bartell
36010df716
Update FreeRTOS+TCP and Kernel include paths
2022-10-20 15:54:50 -07:00
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