https://github.com/micro-ROS/micro_ros_setup/blob/7e07042c256cc34a4e972f6e36f1724fc7a5c38d/scripts/build_firmware.sh#L72 I believe the proper check is: `if [ $PLATFORM == "generic" ] && [ -d "$PREFIX/config/$RTOS/generic" ]; then`