Not sure, it’s been a long time. I think Ihor might have supervised that student. I don’t even remember who the student was or what year it was, which makes it hard to even locate the thesis.
Gernot > On 23 Aug 2021, at 23:59, Christian Sagstetter > <[email protected]> wrote: > > @Gernot yes that's exactly what I meant when I saw the suggested project > here: https://docs.sel4.systems/SuggestedProjects.html. is there anything > left from the student project that I could continue working on? > best, > christian > > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
