search

seL4 / seL4_libs

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

libsel4muslcsys: Expose morecore_top #2

Closed agacek closed 7 years ago

agacek commented 7 years ago

This is useful when reseting components to their original state.

AdrianDanis commented 7 years ago

Well as much as I don't like exposing internals, I don't really see a better way.