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