GitHub repository: CTSRD-CHERI/FreeRTOS-Plus-TCP
Description: FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.