po-hi-c/share/make/Makefile.leon3-xtratum
   - Bugfixes for Xtratum
   - Xtratum platform works for RMA example
     with two partitions that contain two
     tasks within an RTEMS environment



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-c@2367 129961e7-ef38-4bb5-a8f7-c9a525a55882