GitLab

Use the commits in RSB and RTEMS that we use (with -msoft-float removed from leon2.cfg/leon3.cfg/ngmp.cfg) in the TASTE VM

Both of the worker tasks must signal their result through the message queue,
and then kill themselves - common work refactored in.