[seL4] sel4 at Developers Conference 2019

Hi,

I have been following and keeping track of the development of sel4 for more than 3 years. Unfortunately, I have not been able to install sel4 on my odroid U3 and it also has been a long time that I have built and run sel4.

I am also part of the organising team of the Developers Conference since 2015 and this year is the fifth edition held in the Voila hotel and Flying Dodo in Bagatelle in the Republic of Mauritius.

This year, I have a session about sel4.

https://sessionize.com/s/jheengut/an_introduction_to_the_sel4_microke/21360

I would be highly pleased to have a piece of your opinion on this matter.

Cheers Pritvi Jheengut