search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
51 stars 64 forks source link

Document if the code is production ready #14

Closed DemiMarie closed 5 years ago

DemiMarie commented 5 years ago

Is this code considered production ready?

My main interest in seL4 comes from potential use as a general purpose microhypervisor in highly dynamic systems.

kent-mcleod commented 5 years ago

Unfortunately not. These libraries are provided as is, and have been developed for rapidly prototyping systems on seL4. They have not been through intensive testing or verification and do have bugs. They would potentially be a useful starting point for developing a dynamic hypervisor but it would be a non-negligible amount of work.