* Correct detection of RTEMS