search

mirage / mirage-solo5

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

Updates to work with duniverse #64

Closed samoht closed 3 years ago

samoht commented 3 years ago

This needs https://github.com/Solo5/solo5/pull/472 (and its new solo5-bindings package) and https://github.com/mirage/ocaml-freestanding/pull/85

samoht commented 3 years ago

Not necessary anymore with the current plans