> On 13 Jun 2018, at 5:57 pm, Sebastian Huber > <sebastian.hu...@embedded-brains.de> wrote: > What do we want to do with this stuff? I think that HEX files are obsolete in > general.
I would leave it out. If it is really needed we can review why and then decide what we do. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel