Support for Patmos platform #3791

Job	Run time
check-diff / check	20s
serialization / serialization-tests	7m 30s
cpp / cpp-ros2-tests / cpp-ros2-tests	7m 44s
cpp / cpp-benchmark-tests / benchmark-tests	4m 37s
c / benchmarking / benchmark-tests	5m 32s
cpp / cpp-tests / regular-tests (ubuntu-latest)	7m 42s
c / default / regular-tests (ubuntu-latest)	5m 29s
c / ccpp / regular-tests (ubuntu-latest)	5m 30s
c / verifier / run (ubuntu-latest)	7m 43s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	7m 42s
py / py-tests / regular-tests (ubuntu-latest)	5m 30s
rs / rs-benchmark-tests / benchmark-tests	5m 32s
ts / benchmarking / benchmark-tests	3m 40s
ts / ts-tests / regular-tests (ubuntu-latest)	5m 29s
	1h 20m 0s

Provide feedback