[MirageOS-devel] Unikernel crashes (compiled to Xen)

2018-02-02 Thread JIM Yuan
Hi, I installed Xen on Ubuntu 16.04 Server, which runs as a VM in VirtualBox 5.2.6 on macOS. I used ocaml 4.05.0. I have complied mirage-skeleton/device-usage/network to target Xen with configuration: mirage configure -t xen —dhcp true. The network.xl file looks like this: Parsing config

Re: [MirageOS-devel] Unikernel crashes (compiled to Xen)

2018-02-02 Thread Mindy Preston
On 02/02/18 06:32, JIM Yuan wrote: Hi, I installed Xen on Ubuntu 16.04 Server, which runs as a VM in VirtualBox 5.2.6 on macOS. I think nested virtualization (running Xen within another hypervisor) is not very well supported (perhaps someone more familiar with the current state of

Re: [MirageOS-devel] Using binary libraries with MirageOS

2018-02-02 Thread Hadil Sabbagh
Thank you for your response, Anil. I am wondering how to package it into the unikernel. Can you share your thoughts on how to do that? Thanks, Hadil G. Sabbagh, Ph. D. 602/501-3376 > On Feb 2, 2018, at 4:08 AM, Anil Madhavapeddy wrote: > > Hi Hadil, > > Mirage doesn’t have

Re: [MirageOS-devel] Unikernel crashes (compiled to Xen)

2018-02-02 Thread Richard Mortier
On 02/02/2018 18:17, Mindy Preston wrote: On 02/02/18 06:32, JIM Yuan wrote: Hi, I installed Xen on Ubuntu 16.04 Server, which runs as a VM in VirtualBox 5.2.6 on macOS. I think nested virtualization (running Xen within another hypervisor) is not very well supported (perhaps someone more

Re: [MirageOS-devel] Unikernel crashes (compiled to Xen)

2018-02-02 Thread Anil Madhavapeddy
> On 2 Feb 2018, at 19:07, Richard Mortier wrote: > > On 02/02/2018 18:17, Mindy Preston wrote: >> On 02/02/18 06:32, JIM Yuan wrote: >>> Hi, >>> >>> I installed Xen on Ubuntu 16.04 Server, which runs as a VM in VirtualBox >>> 5.2.6 on macOS. >> I think nested

Re: [MirageOS-devel] Unikernel crashes (compiled to Xen)

2018-02-02 Thread Vittorio Cozzolino
Hi, I have a similar problem, as mentioned here https://github.com/mirage/mirage-skeleton/issues/251. Maybe they are correlated. Best, Vittorio On 02-Feb-18 8:25 PM, Anil Madhavapeddy wrote: On 2 Feb 2018, at 19:07, Richard Mortier wrote: On 02/02/2018

Re: [MirageOS-devel] Using binary libraries with MirageOS

2018-02-02 Thread Anil Madhavapeddy
Hi Hadil, Mirage doesn’t have easy support for cross-compilation to the Xen or Solo5 backends now, but the good news is that work is progressing steadily to make that possible. The new “jbuilder” build system has cross-compilation support in beta17 (which was merged into opam 10 minutes ago).