Browsing Tag
sel4 Microkernel
The Linux Foundation to Host sel4 Foundation for the Latter’s OS Kernel Development & Adoption
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.
