interested in participating in a survey on seL4 website and docsite structure next week?

15 Feb 2024

      Hi,

We are working on improvements to the seL4 website (https://sel4.systems/) and docsite (https://docs.sel4.systems/)

Next week, we will conducting a survey (over a week) to gather feedback on the website and docsite structures.

If you’re interested in participating, please email me at june@sel4.systems

Thanks
June

June Andronick (seL4 Foundation)