The seL4 Microkernel
L4 (Mikrokernel)
Announcing KataOS and Sparrow, Friday, October 14, 2022
github.com/AmbiML/sparrow-manifest
Google KataOS/Sparrow on top of seL4
Leave a reply
The seL4 Microkernel
L4 (Mikrokernel)
Announcing KataOS and Sparrow, Friday, October 14, 2022
github.com/AmbiML/sparrow-manifest