On 07/31/2017 02:21 PM, Sebastian Huber wrote: > On 31/07/17 14:18, Jiri Gaisler wrote: > >> Sorry - previous post had the wrong patch. Here is the correct one. > > Ok, could you please check that it is now all right. >
It's perfect - thanks! Jiri. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel