E-EXK4 - Operating System Group / teaching / Sommersemester 2022 / bsb / mpstubs