[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS?

Yes it works quite well (of course with some constraints). Owl-base can be compiled with MirageOS relatively easily (might require some very minor tweaks). Owl-base is the pure ocaml part of Owl btw, if you want more performant binary, compile it with owl-core with the same code.

MirageOS has always been important to us so we have devoted quite a lot of efforts to making it easier to use owl+mirage. We are currently re-writing the owl tutorial book and will dedicate one chapter to owl+mirage in order to encourage people to build intelligent unikernel applications.

It is a very small neural network (prob. several KBs) which recognises handwritten digits, pure ocaml code using owl-base can be compiled with mirage.


On Sat, Sep 14, 2019 at 11:52 AM Richard Mortier <richard.mortier@xxxxxxxxxxxx> wrote:

> On 13 Sep 2019, at 22:52, Romain Calascibetta <romain.calascibetta@xxxxxxxxx> wrote:
> So it's may be interesting to start with Owl which is a project born in OCamllabs and whose creator (to my knowledge) kept in his mind MirageOS and its constraints.

Liang (CC’d) will know the current status better, but we had a student do a project a couple of years ago that targeting enabling Owl to work with Mirage (and js_of_ocaml). So I believe it should work, or at least, not be too far away from working.

Richard Mortier

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.