New to Forum , saying Hi

Just wanted to say Hi. I recently stumbled on Sel4 whilst researching Minix as a secure RTOS. I am now working my way through the docs and tutorials and videos to try and get up to speed on Sel4.

Is it okay if I ask some basic questions here, I aim to have researched first so I’m not duplicating what is in the faq or whitepaper ?

Hi @Steif , yes, please ask basic questions here! Good luck with your work on seL4.