Re: [Userops] Why is it hard to move from one machine to another? An analysis.

[Dave Crossland]

Hi

Thanks for your corrections, this is all great stuff :)

On 10 Apr 2015 9:18 pm, "Claes Wallin (韋嘉誠)" <address@hidden> wrote:
>
> MirageOS has nothing to do with Linux, it's OCaml all the way from the hypervisor down to your code. There is no separate kernel really, that's why they call it a unikernel. You link the parts of the OS that you need right into the same binary as your own code and then you run that binary right on the Xen "metal". Every binary you produce is its own OS with only the parts you need, and it's all OCaml, so you get some cool benefits from the type system in terms of correctness and optimizations.

Cool! The website could do a better job of this kind of summary =)

It reminds me of some old Tom Lord screed about this kind of thing with cheap arm boxes and a sort of unikerneled memcached, about 10 years back.

> It's pretty far off to consider MirageOS anywhere near something that could be described as userops though, so maybe we should round off this detour. :-)

What for me makes this a bit of a mirage is there's not much written in OCaml compared to js or python.

So I think a pypy or node js unikernel system would have more meaning for users.