search

cetic / unikernels

Unikernel and immutable infrastructures
582 stars 47 forks source link

SeL4 microkernel #12

Open banzo opened 4 years ago

banzo commented 4 years ago

Would it make sense to include an overview of the seL4 microkernel in this repository?