Support for Patmos platform on static-schedule-single-thread branch by direct Makefile #3044

Job	Run time
check-diff / check	19s
serialization / serialization-tests	16m 46s
cpp / cpp-benchmark-tests / benchmark-tests	13m 21s
cpp / cpp-ros2-tests / cpp-ros2-tests	40m 10s
cpp / cpp-tests / regular-tests (ubuntu-latest)	48m 43s
py / py-tests / regular-tests (ubuntu-latest)	2m 47s
c / benchmarking / benchmark-tests	5m 7s
c / default / regular-tests (ubuntu-latest)	13m 1s
c / zephyr / zephyr-tests	8m 31s
rs / rs-benchmark-tests / benchmark-tests	15m 43s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	1s
c / arduino / arduino-tests (ubuntu-latest)	3m 12s
c / ccpp / regular-tests (ubuntu-latest)	13m 3s
c / verifier-and-static-scheduler / run (ubuntu-latest)	5m 38s
ts / benchmarking / benchmark-tests	3m 47s
ts / ts-tests / regular-tests (ubuntu-latest)	2m 9s
	3h 12m 18s

Provide feedback