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 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