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

[Liang Wang <liang.wang@xxxxxxxxxxxx>]

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.
Here is an example: 
https://gist.github.com/jzstark/6bd378218091e383a6bb3e80b4ee8cbb
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.
liang


On 2019-09-14 11:52, Richard Mortier 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
> richard.mortier@xxxxxxxxxxxx

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel