]> begriffs open source - freertos/commit
RP2040: update FreeRTOS_Kernel_import.cmake to match the newer version in Community...
authorGraham Sanderson <graham.sanderson@raspberrypi.com>
Mon, 10 Feb 2025 05:32:36 +0000 (23:32 -0600)
committerGitHub <noreply@github.com>
Mon, 10 Feb 2025 05:32:36 +0000 (11:02 +0530)
commita470b2d3755b5aaad71f4fdae0ca4a8361b4303a
tree6944613ed72bfe3c8d4b3ee4d5eb517ca743e54b
parentd10ee468114afb06ee6eca8f976c7b953aa5a2b8
RP2040: update FreeRTOS_Kernel_import.cmake to match the newer version in Community-Supported-Ports (#1243)

- The newer version looks in Community-Supported-Ports too

Co-authored-by: graham sanderson <graham.sanderson@raspeberryi.com>
portable/ThirdParty/GCC/RP2040/FreeRTOS_Kernel_import.cmake