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 ?