On 2020-02-06 17:15, Sebastian Huber wrote: > On 05/02/2020 22:13, Chris Johns wrote: >> >> After all one of roles of the RTEMS Foundation is education. > > I added a ticket for this: > > https://devel.rtems.org/ticket/3867 > Thanks Chris