RTEMS: Open-source real time operating system