You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

History

Kevin Thibedeau cd0b7fc271 Build with -Wmissing-prototypes flags vPortYieldFromISR() in the Posix port. (#409 ) There's already a portYIELD_FROM_ISR() macro that calls vPortYield() which wraps the FromISR code. It doesn't appear that vPortYieldFromISR() is intended to be publicly accessible in this port so I've marked it as private to silence the warning. event_create() also got flagged due to missing void in prototype. Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>		3 years ago
..
CDK/T-HEAD_CK802	Add SPDX-License-Identifier: MIT to MIT licensed files.	4 years ago
Community-Supported-Ports@f0618d9e2f	Move the community/partner supported ports to correct location (#361 )	4 years ago
GCC	Build with -Wmissing-prototypes flags vPortYieldFromISR() in the Posix port. (#409 )	3 years ago
Partner-Supported-Ports@3f9c99a682	Remove AVR ports from main repo (#394 )	3 years ago
XCC/Xtensa	Warning fixes. (#356 )	4 years ago
README.md	Add ReadMe for third party port contributions (#371 )	4 years ago

README.md

FreeRTOS Third Party Ports

FreeRTOS third party ports can be supported by the FreeRTOS team, a FreeRTOS partner or FreeRTOS community members. Depending on who supports it, the support provided will differ as follows:

FreeRTOS Team Supported Third Party FreeRTOS Ports

Location: https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/ThirdParty

These third party FreeRTOS ports are supported by the FreeRTOS team. For a FreeRTOS team supported third party FreeRTOS port:

The code has been reviewed by the FreeRTOS team.
FreeRTOS team has access to the hardware and the test results have been verified by the FreeRTOS team.
Customer queries as well as bugs are addressed by the FreeRTOS team.

A new FreeRTOS port cannot be directly contributed to this location. Instead, the FreeRTOS team will decide to take ownership of a partner supported or a community supported FreeRTOS port based on the community interest.

Partner Supported FreeRTOS Ports

Location: https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports/tree/main

These FreeRTOS ports are supported by a FreeRTOS partner. For a partner supported FreeRTOS port:

The code has not been reviewed by the FreeRTOS team.
FreeRTOS team has not verified the tests results but tests exist and are reported to be successful by the partner.
Customer queries as well as bugs are addressed by the partner.
A new FreeRTOS port can be directly contributed by a partner. The process to contribute a FreeRTOS port is documented here.

Community Supported FreeRTOS Ports

Location: https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports/tree/main

These FreeRTOS ports are supported by the FreeRTOS community members. For a community supported FreeRTOS port:

The code has not been reviewed by the FreeRTOS team.
Tests may or may not exist for the FreeRTOS port.
Customer queries as well as bugs are addressed by the community.
A new FreeRTOS port can be directly contributed by anyone. The process to contribute a FreeRTOS port is documented here.