On 26/7/19 10:25 am, Chris Johns wrote: > I will post a patch to devel with a tested fix ... https://lists.rtems.org/pipermail/devel/2019-July/026845.html https://lists.rtems.org/pipermail/build/2019-July/002884.html The test results look OK. Chris