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