search

mirage / mirage-solo5

Solo5 core platform libraries for MirageOS
ISC License
20 stars 21 forks source link

Implement OS common interface #49

Closed TheLortex closed 5 years ago

TheLortex commented 5 years ago

Depends on:

hannesm commented 5 years ago

since mirage/mirage#1010 goes another way (providing hooks via mirage-runtime, no more mirage-os-shim), we don't need this anymore.