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

Re: [MirageOS-devel] Raspberry Pi 3 installation

On 10/10/2016 9:04 AM, Eugene Bagdasaryan wrote:
That would be great to have, so far it is not much available on
internet! I found this
repo https://github.com/mirage/xen-arm-builder which wasn’t updated for
a while, and it seems that the only supported version was Cubbieboard2.
Do you guys run Xen or Solo5 KVM on ARM to use MirageOS?

On Oct 10, 2016, at 07:42, Anil Madhavapeddy <anil@xxxxxxxxxx
<mailto:anil@xxxxxxxxxx>> wrote:

On 10 Oct 2016, at 04:20, Eugene Bagdasaryan <eb693@xxxxxxxxxxx
<mailto:eb693@xxxxxxxxxxx>> wrote:

Thanks for the response! I understood that RPi is the worst case for
virtualization. They lack GIC and KVM doesn’t support it.
What hardware would you suggest to try? Does Pine 64 suits for Xen
installation? And is there still some kind of guide for this?

This is in general an excellent question when it comes to ARM
hardware.  We seem to have a shifting environment of hardware
availability and Xen support (which has to be carefully matched with
the Linux kernel version used).

Is anyone aware of an upstream Xen/ARM support page, or do we need to
start our own?  Perhaps we could all record what setup we are using
for our ARM machines if nothing exists, to kickstart a broader
upstream page.


Where I work we updated the xen-arm-builder project earlier this year to make it build newer Xen/Linux/U-Boot images: https://github.com/dornerworks/xen-arm-builder/. This version cross compiles the Xen and Mirage/OCaml tools. At the time we had to pin mirage to an older version because the newer ones were giving us fits.

The changes were tested with a cubietruck, we didn't have a cubieboard2 to test so it's possible that the cubieboard2 might have issues that we didn't address. Also be warned that we didn't care about the various wireless devices so those may not work either.

- Aaron

MirageOS-devel mailing list



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