or1k and RTEMS related stuff