WiP: FreeRTOS integration

radio/src/thirdparty/FreeRTOS-Kernel-10.4.4/.github/scripts/find_replace.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+old_text=$1
+new_text=$2
+echo "Old text: ${old_text}"
+echo "New text: ${new_text}"
+grep -rl "${old_text}" . | xargs gsed -i -e '1h;2,$H;$!d;g' -e "s/${old_text}/${new_text}/g"
+