On 29/7/19 3:23 pm, Sebastian Huber wrote: > > could someone with a Raspberry Pi please test this patch. > RTEMS failed to start. It has broken something. I retested by running master again. Chris