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 > <christian.sagstet...@gmail.com> 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 -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
