On 15/04/2016 17:26, Sebastian Huber wrote: > Yes, the Makefile support is dead. OK. I will remove it. I am cleaning up the RTEMS version handling. It is fragile. Chris