Handy scripts for RTEMS