RTEMS Operating System Qualification