Community Building

1

I have a background in political psychology/think tanks, technical communications, and security work. I see SeL4 as a vital human rights issue and funding as the main impediment to its adoption. I’ve decided to start cutting back my hours at work and would like to help contribute to community building here!

Are there places where SeL4 is resource constrained that I could be of help with?

2

We’re definitely resource-constrained and are highly interested in growing the community.

There are at least two aspects to this.

The first is to build the skills of using/developing with seL4, as companies trying to deploy seL4 are still facing skills shortages. The groups to target here are (a) enthusiasts (b) universities.

The second is to target decision makers in industry – senior engineers, CTOs etc. They need to be given

  • an understanding of the technology, what it can do (the problems it can solve), and its maturity
  • access to a skills base (see above)

This last group is harder to catch, as they tend to mostly be living in their existing ecosystem and only look for alternatives when they run into problems. So the key is to

  • make them understand that they have a problem (which many don’t realise)
  • that there’s a solution

So, if you have ideas on helping with any of the above, we’d welcome this!

3

What would the potential deliverables be?

I’ve had an idea for a “What Every Developer Should Know About High Assurance Software” blog post brewing in my head for a few years. Have you seen the CHERI Alliance?

I’m very good at making moral arguments targeting political policy makers. WRT commercial actors: is the problem that everything is built on sand and they are at risk?