A suite of benchmarks for real time systems, ported to RTEMS - View it on GitHub