> On 13 Jun 2018, at 5:57 pm, Sebastian Huber <sebastian.huber at 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