On 11/06/2018 22:54, Sebastian Huber wrote: > On 11/06/18 14:52, Sebastian Huber wrote: >> What do we want to do with this tool? It uses the RTEMS GPL. >> > > This tool is not used during the BSP build. I can be removed without breaking BSPs. > I agree. Chris