> On 13 Jun 2018, at 5:57 pm, Sebastian Huber > <[email protected]> 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 [email protected] http://lists.rtems.org/mailman/listinfo/devel
