@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
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.sagstetter@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