Security-focused microkernel goes in for some seL4-care, becomes a foundation to keep that ecosystem growing

Being under the Linux Foundation umbrella is a good way to get that done

The team behind the seL4 secure microkernel has created a foundation to help build a wider ecosystem."