Re: Mirage & dynlink

[William Le Ferrand <warnegia@xxxxxxxxx>]

Thanks Anil. I'm drafting an architecture for a big data company and I'd love to end up with something as simple as a single microkernel for their whole stack, so I was wondering what I could use and what I should stay away from. 

Btw do you know if there are some industrial applications of Mirage already?

On Thu, Jun 27, 2013 at 2:10 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

It will be, but not yet.  There's a few things to be done:

- stabilise the ocaml_plugin API to be portable to non-Linux.  This is almost done (it has a slightly mental strategy of turning the entire ocaml compiler into a .o file which is then linked in as a C library to the binary, to let it recompile the plugin).

- make the native code ocamlopt not require an external assembler.  This has been done by Benedikt's ocamlnat -- see http://arxiv.org/pdf/1110.1029.pdf

- remove filesystem dependencies (easy once previous two bits are done)

-anil

On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@xxxxxxxxx> wrote:

Hi,

I'm new to mirage and not sure where to post : is mirage compatible with plugins/dynlinking strategies such as the one offered by https://github.com/janestreet/ocaml_plugin?

Thanks!

William

--
William Le Ferrand

Mobile : (+1) (415) 683-1484

Web : http://williamleferrand.github.com/

--
William Le Ferrand

Mobile : (+1) (415) 683-1484

Web : http://williamleferrand.github.com/