[mkc2023] Case study lectures

Hi all,

as said last Thursday, the final three lectures in MKC will be case studies of different microkernel-based systems:

At first, we will have a case study on L4Re, given remotely by Adam Lackorzynski on June 22nd.

Second, we have a case study on M³ given in APB-E008 and via BBB as usual on July 6th.

Third, we will have a case study on Escape also in APB-E008 and BBB on July 20th. Note that this is outside of the lecture period, but I will also put the recording from last year online.

Best regards, Nils