3d236bd83d
Add x64 configuration to Win32-MSVC demo ( #1164 )
...
Add x64 configuration to Win32-MSVC demo.
This was originally contributed in this PR - #1139
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: José Simões <jose.simoes@eclo.solutions>
Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
1 year ago
ab999f9624
Update GitPython version for untrusted search path on Windows. ( #1154 )
...
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
1 year ago
bd56549a48
Update SMP unit test to cover prvInitialiseTaskLists ( #1151 )
...
* Update SMP unit test to cover prvInitialiseTaskLists
1 year ago
121fbe295b
Fix formatting in kernel demo application files ( #1148 )
...
* Fix formatting in kernel demo application files
* Fix header check fail in the demo files
* Add ignored patterns in core header check file
* Fix formatting
* Update vApplicationStackOverflowHook for AVR_ATMega4809_MPLAB.X/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Update vApplicationStackOverflowHook for AVR_ATMega4809_MPLAB.X/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Update vApplicationStackOverflowHook for AVR_Dx_IAR/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Update vApplicationStackOverflowHook for AVR_Dx_IAR/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Update vApplicationStackOverflowHook for AVR_Dx_MPLAB.X/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Update vApplicationMallocFailedHook for AVR_Dx_MPLAB.X/main.c
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
* Fix formatting AVR32_UC3
---------
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
1 year ago
6b513cb1a2
Use MbedTLS 3.5.1 and Add TLS 1.3 Support to WinSim Demos ( #1135 )
...
* Bump up to MBed-TLS V3.5.1, make changes to Visual Studio Projects to account for this.
* Update MBedTLS Transport files to call psa_crypto_init() if the MBEDTLS_PSA_CRYPTO_C is set.
* Add WIN32_LEAN_AND_MEAN to the corePKCS11_MQTT_Mutual_Auth_Windows_Simulator demo. Add in a check for MBEDTLS_ERR_SSL_RECEIVED_NEW_SESSION_TICKET when making a TLS handshake.
* Change transport interface files from using void * to mbedtls_pk_context * instead per changes in the MbedTLS API.
* Changes to Fleet Provisioning Demo and Demo Setup to use ECDSA keys
* Remove non-32 bit configs from various VisualStudio Projects. Enforce all projects using WIN32_LEAN_AND_MEAN as well as winsock2.h
1 year ago
e7d39763db
Add unit test for FreeRTOS SMP ( #1047 )
...
* Add unit test for FreeRTOS SMP to verify SMP scheduler logic in tasks.c which is enclosed by `configNUMBER_OF_CORES > 1`.
---------
Co-authored-by: Joshua Zarr <joshzarr@amazon.com>
Co-authored-by: Anubhav Rawal <rawalexe@amazon.com>
Co-authored-by: Alfred Gedeon <alfred2g@hotmail.com>
Co-authored-by: Adam Scislowicz <adamds@amazon.com>
Co-authored-by: jannusi <121577776+jannusi@users.noreply.github.com>
Co-authored-by: Krishna Vamsi Tallapaneni <124737189+vamsitas@users.noreply.github.com>
Co-authored-by: Kody Stribrny <kstribrn@amazon.com>
Co-authored-by: kar-rahul-aws <118818625+kar-rahul-aws@users.noreply.github.com>
1 year ago
ddb6e58d0a
Updates FreeRTOS-Plus-Trace to a submodule pointer ( #1082 )
...
This PR updates FreeRTOS-Plus-Trace to a submodule pointer and
updates the relevant project files. Percepio recommends to use
streaming to ring buffer on a 64-bit system instead of snapshot
and therefore, POSIX demo is updated to use streaming to ring
buffer.
1 year ago
d73470e936
Update the formatting bot ( #1095 )
1 year ago
d1d78528a2
Remove CORTEX_M3_MPS2_QEMU_GCC demo ( #1089 )
...
* Remove CORTEX_M3_MPS2_QEMU_GCC demo
1 year ago
3a2f6646f0
Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. ( #1083 )
...
* Use new version of CI-CD Actions, checkout@v3 instead of checkout@v2 on all jobs
* Use cSpell spell check, and use ubuntu-20.04 for formatting check
* Add in bot formatting action
* Update freertos_demo.yml and freertos_plus_demo.yml files to increase github log readability
* Add in a Qemu demo onto the workflows.
1 year ago
537007d96c
Remove WolfSSL-FIPS-Ready source code and Demo
...
The WolfSSL-FIPS-Ready distribution is licensed under the GPLv3 or
a commercial license. Only MIT licensed code is allowed in this
repository. Refer to the FreeRTOS_Plus_WolfSSL_Windows_Simulator Demo
for future WolfSSL integrations.
1 year ago
0948c5eab6
Bump gitpython from 3.1.30 to 3.1.32 in /.github/scripts/common ( #1070 )
...
Bumps [gitpython](https://github.com/gitpython-developers/GitPython ) from 3.1.30 to 3.1.32.
- [Release notes](https://github.com/gitpython-developers/GitPython/releases )
- [Changelog](https://github.com/gitpython-developers/GitPython/blob/main/CHANGES )
- [Commits](https://github.com/gitpython-developers/GitPython/compare/3.1.30...3.1.32 )
---
updated-dependencies:
- dependency-name: gitpython
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
1 year ago
9a9e6236a1
Update FreeRTOS-Kernel path in IPv6 demo project ( #1065 )
...
* Update FreeRTOS-Kernel path in IPv6 demo project
* Add IPv6 demo in CI flow.
2 years ago
1cf219a80b
Enable Werror for Posix Demo Coverage Test target ( #1059 )
...
Enable Werror for Posix Demo Coverage Test target
Werror cannot be enabled for the non coverage test because tracelyzer
code generates warnings in that target.
Also add "Build Posix_GCC Demo for Coverage Test" in the PR checks to
catch warnings from kernel code in PR checks.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
792efb4bb7
Create GitHub workflows to execute the WinSim demos with libslirp network interface implemented in FreeRTOS+TCP VS Static Project ( #1054 )
...
* Add libslirp to the existing FreeRTOS+TCP static project
* Update demos to run with libslirp
* Add ipconfigUSE_LIBSLIRP
* Call developer command prompt and update meson build options
---------
Co-authored-by: Xiaodong Li <xiaodonn@amazon.com>
2 years ago
f776f5ee4a
Move demos in Community-Supported to Community-Supported-Demos ( #1053 )
...
* Move demos in Community-Supported to Community-Supported-Demos
* Update RP2040 CI workflow path
2 years ago
8e3a216ea7
Bump certifi from 2022.12.7 to 2023.7.22 in /.github/scripts/common ( #1050 )
...
Bumps [certifi](https://github.com/certifi/python-certifi ) from 2022.12.7 to 2023.7.22.
- [Commits](https://github.com/certifi/python-certifi/compare/2022.12.07...2023.07.22 )
---
updated-dependencies:
- dependency-name: certifi
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2 years ago
c31cc9ba1c
Uncrustify PR Check Changes ( #1036 )
...
* Changing uncrustify to print out git difference after fixing
* Updating workflow for freertos_demos to use echo groups, updating ci.yml formatting
---------
2 years ago
e39bb188dd
Implement libslirp for FreeRTOS_Plus_TCP_Echo_Posix demo ( #1026 )
...
* Update freertos-plus-tcp-echo-posix git workflow to include echo server setup with port 5000, update Ubuntu runner version to 22.04, install glib and libslirp, and add git run action with TRACE_ON_ENTER=0 which disables trace output saved msg
* Update ipconfigNETWORK_MTU to 1500, ipconfigBUFFER_PADDING on 64-bit platforms, and FreeRTOS-Plus-TCP submodule libslirp version number in backend file
* Format code, update lexicon.txt and create ReadMe
---------
Co-authored-by: Xiaodong Li <xiaodonn@amazon.com>
2 years ago
301ed5881b
Merging IPv6 demo changes to main ( #1028 )
...
* Add IPv6 Demo (#937 )
* Add demo changes
* Update kernel and library paths
* Update main.c
* Run uncrustify
* Fix spell checker
* CI check file headers update
* Add IPv6/v4 UDP echo server with zero copy/non-zero copy versions
* Add VS proj file changes to include the UDP echo sample code
* readme update
---------
Co-authored-by: Tony Josi <tonyjosi@amazon.com>
* Update Backward Compatibility Flag (#954 )
* Update Backward Compatibility Flag
* Update FreeRTOS_GetUDPPayloadBuffer_ByIPType
* Update FreeRTOS_IPStart to FreeRTOS_IPInit_Multi
* Update Application APIs
* Remove ipconfigCOMPATIBLE_WITH_SINGLE
* Update Static Lib files (#956 )
* Update Static Lib files
* making vApplicationIPNetworkEventHook backward compatible in demos
* Update CI check file headers
---------
Co-authored-by: Tony Josi <tonyjosi@amazon.com>
* Add WinPCap NetworkInterface Changes (#958 )
* Update winpcap network interface
* Run uncrustify
* Update function to include NetworkInterface_t parameters
* Adding compatibility for xApplicationDNSQueryHook with latest dev branch for old demos (#957 )
* adding compatibility for xApplicationDNSQueryHook with latest dev branch
* adding tcp echo server source
* removing unused sub demos
* fix build issues (#969 )
* Update demo to latest +TCP dev/IPv6_integration (#978 )
* remove macro namings
* rename sin_addr to sin_address.ulIP_IPv4 for ipv6 demo
* replace in6addr_any with FreeRTOS_in6addr_any
* replace mainCREATE_UDP_ECHO_SERVER_TASK with mainCREATE_UDP_ECHO_TASKS_SINGLE
* handle removal of sin_addr macro to sin_address.ulIP_IPv4
* updating +TCP repo to latest dev/IPv6_integration
* minor update to more clear code
* more sin_addr to sin_address.ulIP_IPv4 replacements
* fix makefiles for qemu and posix demos
* review feedback changes
* Update FreeRTOS-Plus-TCP for RC2
* Change from PR (#994 )
* Update FreeRTOS-Plus-TCP for RC2
* Update copyright
* Ignore WinPCap for files header check failure.
* Update checker
* Update manifest
* Point manifest to latest commit
* Fix Spell-checker
* Update doxygen
* Update xApplicationDHCPHook for backward compatibility (#999 )
* Update xApplicationDHCPHook for backward compatability
* Update IPv6
* Update VisualStudio Static Project files
* Update pxEndPoint error (#1002 )
* Update IPv6 demo ReadMe (#1004 )
* Update ReadMe
* Update setup requirement
* Update UDP demo info
* Update comment
* TCP demo changes post build separation (#1011 )
* adding sin_family to dest adddr for FreeRTOS_sendto
* updating FreeRTOS_bind to input sin_family post build separation changes
* updating FreeRTOS_connect to input sin_family post build separation changes
* minor fix
* updating copyright year
* updating file headers
* updating +TCP submodule
* updating file headers
* updating file headers
* updating manifest file to have latest +TCP submodule hash
* Fix issue with posix demo while running with ipconfigIPv4_BACKWARD_COMPATIBLE enabled for +TCP stack (#1027 )
* Update the submodule pointer to IPv6 main
* Update manifest with latest TCP commit
* Update file checker exception
* Ignore Visual studio project file from file header checker
---------
Co-authored-by: Tony Josi <tonyjosi@amazon.com>
2 years ago
1277ba1661
Revert "Remove coroutines ( #874 )" ( #1019 )
...
* Revert "Remove coroutines (#874 )"
This reverts commit 569c78fd8c
2 years ago
9ccae851e7
Create GitHub Workflows that execute the p3 FreeRTOS Kernel Demos ( #1018 )
...
* test full demo
* Revert "test full demo"
This reverts commit 09efa00ec0
2 years ago
f6f2b67141
Updating kernel release script to update source files with tags and release in separate scripts ( #1016 )
...
* separating source file updation to separate script
* give execute permission to update_src_version.py
2 years ago
637bde0183
Added Posix Demo run in github action ( #997 )
...
* Added demo runs for Posix GCC in git action
---------
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
2 years ago
5b403a6a07
Add reg tests to NuMaker M2351 project ( #992 )
...
* Add reg tests to NuMaker M2351 project
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add reg tests for IAR
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix formatting check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix header check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
5eaf2f3bce
Add reg tests to LPC55S69 project ( #989 )
...
* Update LPCXpresso55S69 SDK to 2.13.1
* Enable print from non-secure side
* Add register tests
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
89ccc1da50
Update multiple submodules ( #981 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2 years ago
408c3841ea
Add CBMC proof-running GitHub Action ( #924 )
...
This commit adds a GitHub Action that runs the CBMC proofs upon every
push and pull request. This is intended to replace the current CBMC CI.
2 years ago
cf603c60fa
Update PR template to include checkbox for Unit Test related changes ( #925 )
2 years ago
f2796758e8
Bump gitpython from 3.1.11 to 3.1.30 in /.github/scripts/common ( #915 )
...
Bumps [gitpython](https://github.com/gitpython-developers/GitPython ) from 3.1.11 to 3.1.30.
- [Release notes](https://github.com/gitpython-developers/GitPython/releases )
- [Changelog](https://github.com/gitpython-developers/GitPython/blob/main/CHANGES )
- [Commits](https://github.com/gitpython-developers/GitPython/compare/3.1.11...3.1.30 )
---
updated-dependencies:
- dependency-name: gitpython
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2 years ago
61fed35107
CI: add win32-mingw demo to GithubActions workflow
2 years ago
c2cdc3cb36
Move FreeRTOS Demo build checks to their own workflow file
2 years ago
6f7f9fd9ed
[AUTO][RELEASE]: Bump file header version to "202212.00"
2 years ago
c9947d3adc
Bump certifi from 2020.12.5 to 2022.12.7 in /.github/scripts/common ( #898 )
...
Bumps [certifi](https://github.com/certifi/python-certifi ) from 2020.12.5 to 2022.12.7.
- [Release notes](https://github.com/certifi/python-certifi/releases )
- [Commits](https://github.com/certifi/python-certifi/compare/2020.12.05...2022.12.07 )
---
updated-dependencies:
- dependency-name: certifi
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2 years ago
228f76cbe3
Fix and improve WIN32-MSVC demo in FreeRTOS/Demo. ( #891 )
...
* Fix WIN32-MSVC demo in FreeRTOS/Demo.
* Add comments.
* Fix corechecks
* Re-work trace and keyboard input.
* Remove unneeded line from trcConfig.h
* Fix formatting in trcConfig.h
* Fix heap issues, add FreeRTOS task to simulate keyboard interrupts.
* Update comment on main_blinky.
* Fix spelling.
* Make keyboard input thread block on input.
* Set thread affinity of keyboard input thread to not run on the same core as FreeRTOS.
* Adjust heap regions and total heap size.
* Fix spelling.
Co-authored-by: Jason Carroll <czjaso@amazon.com>
2 years ago
101c263371
Fix: Build enable trace facility ( #890 )
...
* Fix IAR GCC build for Qemu MPS2
* Add removed file
* Add timer function for runtime stats
* Add lexicon entry
2 years ago
b9f2248c5b
[AUTO][RELEASE]: Bump file header version to "202211.00"
2 years ago
abd4107464
Add doxygen dependencies to github workflow for doxygen 1.9.2
2 years ago
18a9410300
Update doxygen workflow to use doxygen 1.9.2
2 years ago
8424589ed1
FreeRTOS Windows Simulator Build Changes and LTS 2.0 Update ( #872 )
...
* Update mbedtls to version v3.2.1
* Adjust include paths for github workflow
* Update FreeRTOS+TCP to v3.1.0
* Add initial VS project files for Kernel, +TCP, and mbedtls
* winpcap: Consolidate to a single copy of WinPcap
* Downgrade library projects to VS 2019. Add heap_4 to kernel.
* Remove *.vcxproj.user files and add to gitignore
* Disable unwanted kernel config options
* Update FreeRTOS+TCP and Kernel include paths
* Update FreeRTOS+TCP Windows Minimal sln
* Remove .suo and .vcxproj.user files
* Update mbedtls transport implementations for mbedtls v3.2.1
* Fix typo in mbedtls_freertos_port.c
* Update vcxproj files for +TCP, Kernel, Mbedtls
* Fix typo in name WindowSimulator -> WindowsSimulator
* Add wpcap lib to FreeRTOS+TCP.vcxproj
* Update FreeRTOS+TCP Minimal Demo for Windows Simulator
* Mask MSVC string function warnings
Aad _CRT_SECURE_NO_WARNINGS preprocessor definition.
* Move projects to their own directories to make VisualStudio happy
* mbedtls_freertos_port.c: Fix formatting?
* Add coreHTTP, Logging libs. Adjust dependencies
* Disable FreeRTOS Kernel malloc failed hook
* Update coreHTTP Plaintext demo
* Rename / relocate transport interface implementations
* Remove old VS project files
* Remove extra core_http_config.h files
* Remove extra FreeRTOSConfig.h files
* Remove extra FreeRTOSIPConfig.h files
* Remove old mbedtls_config.h files
* Remove old FreeRTOSConfig and core_http_config files
* Update HTTP Mutual Auth Demo build files
* Fix transport_plaintext.h include name
* Update HTTP_Plaintext demo build files
* Update CoreHTTP_S3_Download VS project files
* Update HTTP_S3_Upload demo build files
* Update CoreHTTP_S3_Download_Multithreaded demo build files
* Add GithubActions builds for FreeRTOS+ CoreHTTP Demos
* Update S3DownloadHTTPExample.c to be compatible with mbedtls 3.x
* Update GithubActions FreeRTOS+ config file
* Combine core_pkcs11_config.h files into a single one
* Add corePKCS11 VS project file
* Update corePKCS11 WinSim demo project and build files
* Update corePKCS11 library to version 3.5.0
* Modifiying demos to build using static libraries
* Adding a header file
* Two more demos
* Update corePKCS11 demo code and auto-format
* Downgrade corePKCS11 library build file to v142 / VS 2019
* Speed up CI builds with selective submodule initialization
* Separate corePKCS11 demo into it's own job.
* Remove WIN32.vcxproj and WIN32.vcxproj.filters files
* Remove old configuration header files
Partially reverts 73829ced609069707519#880 )
* Update submodule pointers to LTS 2.0
* Initial coreMQTT 2.1.1 update.
* Update AWS demos for coreMQTT 2.1.1
* Fix deprecated macro for coreMQTT demos.
* Fix keep alive demo.
* Fix plaintext demo.
* Fix MQTT wolfSSL demo.
* Fix MQTT PKCS11 demo.
* Remove duplicate functions.
* Fix Mutual auth demos for Cellular.
* Fix OTA demos.
* Fix header of plaintext demo config.
* Set writev to NULL for OTA demos.
* Fix mbedlts config for OTA demos.
* Fix spelling.
Co-authored-by: Jason Carroll <czjaso@amazon.com>
* Removing blank line
* Fix jobs demo race condition.
* Fix race condition from WinPCap network interface.
* Update lexicon.
Co-authored-by: Paul Bartell <pbartell@amazon.com>
Co-authored-by: Jason Carroll <czjaso@amazon.com>
Co-authored-by: Paul Bartell <paul.bartell@gmail.com>
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
2 years ago
569c78fd8c
Remove coroutines ( #874 )
...
* Remove co-routine centric CORTEX_LM3S102_Rowley demos.
Remove CORTEX_LM3S102_Rowley Demo2 and Demo3.
Update Demo1 to no longer use coroutines.
* Remove co-routines from MB91460_Softune demo
* FreeRTOS_96348hs_SK16FX100PMC: Remove co-routine usage.
Remove co-routine usage from FreeRTOS_96348hs_SK16FX100PMC demo.
* MB96350_Softune_Dice_Kit: Remove co-routine usage
Remove co-routines usage from MB96350_Softune_Dice_Kit demo
* AVR_Dx_IAR: Remove co-routine usage
* AVR_Dx_Atmel_Studio: Remove co-routine usage
* PIC24_MPLAB: Remove autogenerated files and add to .gitignore
* PIC24_MPLAB: Remove co-routine usage from demo
* AVR_ATMega323_IAR: Remove co-routine usage
* ColdFire_MCF52221_CodeWarrior: Remove coroutine usage
* AVR_ATMega4809_MPLAB.X: Remove co-routine usage
* AVR_ATMega4809_IAR: Remove co-routine usage
* AVR_ATMega4809_Atmel_Studio: Remove coroutine usage
* AVR_ATMega323_WinAVR: Remove coroutine usage
* AVR_Dx_MPLAB.X: Remove coroutine usage
* dsPIC_MPLAB: Remove coroutine usage
* CORTEX_LM3S102_GCC: Remove coroutines and coroutine centric demos
* CORTEX_LM3S102_GCC: Update makefile to discard unused symbols
Allows fitting in the limited ram/flash for this part.
* CORTEX_LM3S316_IAR: Remove coroutines
* Demos: Remove references to crflash.c, crhook.c, crflash.h, crhook.h
* Remove coroutine options from FreeRTOSConfig.h files
* Xilinx: Remove backup file generated by revup utility
* Demos: Remove Coroutine related config items and references
* Format CBMC FreeRTOSConfig.h
* Update URL from aws.amazon.com/freertos to github.com/FreeRTOS
* Fix copyright year and license text
* Fix license text in demo files
* Update header check excluded path list
* Add configBENCHMARK to lexicon
2 years ago
80e7b58046
Move core-checks to 20.04
2 years ago
4ff2d323f6
Switch Uncrustify, Kernel unit tests to Ubuntu 20.04
2 years ago
c568ba8c44
Percepio Trace Recorder v4.6.0 ( #789 )
...
* * Percepio Trace Recorder v4.6.0
* Add space between inclusion of header and comment
* Fix broken posix build - part 1
* Add percepio timer implementation
* Remove delted trace recorder header file
* Fix Networking demo build
* Fix CLI demo
* Fix visual studio version number
* Fix core header check
* Fix more core checks
* Fix last of core checks
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Alfred Gedeon <alfred2g@hotmail.com>
2 years ago
4f87f485d5
Update VeriFast proofs ( #836 )
...
* Undo syntax changes preventing VeriFast parsing
* Update proofs inline with source changes
Outstanding:
- xQueueGenericReset return code
- Not using prvIncrementQueueTxLock or prvIncrementQueueRxLock macros
* Remove git hash check
* Document new changes between proven code and implementation
* Update copyright header
* VeriFast proofs: turn off uncrustify checks
Uncrustify requires formatting of comments that is at odds with VeriFast's
proof annotations, which are contained within comments.
* Update ci.yml
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2 years ago
4e0fecaadd
Arm gcc build qemu mps2 Coretex M3 ( #861 )
...
* Arm gcc build qemu mps2 Coretex M3
* Fix Path
* Insert compilation error for testing
* Build full dem
* Build MPU M3
* Build check IAR qemu mps2 gcc
* Fix path
* Fix typo
2 years ago
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>
2 years ago
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.
2 years ago
3bb3eeb237
Update .github/workflows/freertos_plus_demos.yml
...
Co-authored-by: Archit Gupta <71798289+archigup@users.noreply.github.com>
2 years ago
a8a2234b2b
ci: Add CI builds for FreeRTOS+ Demos for WinSim
2 years ago
Gaurav-Aggarwal-AWS
ActoryOu
chinglee-iot
Rahul Kar
Soren Ptak
Anubhav Rawal
Paul Bartell
dependabot[bot]
Xiaodong Li
Monika Singh
Aniruddha Kanhere
Tony Josi
xuelix
Kareem Khazem
jasonpcarroll
jasonpcarroll
alfred gedeon
Soren Ptak
Kody Stribrny
Erik Tamlin
Nathan Chong
Paul Bartell