sel4 Foundation

sel4 Microkernel’s open governance model is an ideal fit with The Linux Foundation, which will now host sel4 Foundation to expedite developmental evolution and implementation of the OS kernel across widespread safety-critical embedded device use cases.