About the New to seL4 category

[gerwin.klein]

Questions and answers on how to start with seL4 and on how to get things up and running.