Feedback
Please answer the next questions regarding you and your personal perception of
the event under discussion.
If you don't want to answer a particular question, just leave it as it is.
Title: What's new in the world of seL4
Track: Microkernels and Component-based OS devroom
Time: Sunday 2019-02-03 00:00:00
Track: Microkernels and Component-based OS devroom
Time: Sunday 2019-02-03 00:00:00