Re: [MirageOS-devel] Mirage ARM port

[Thomas Leonard <talex5@xxxxxxxxx>]

On 11 April 2014 13:41, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> On 11 Apr 2014, at 12:53, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>>
>> Here are my notes on getting Xen running on the Cubieboard2:
>>
>> https://github.com/talex5/mirage-www/blob/master/tmpl/wiki/xen-on-cubieboard2.md
>>
>> After following those instructions:
>>
>> - The board boots with U-Boot from the microSD card.
>> - U-Boot runs Xen (arm32).
>> - Ubuntu 14.04 is used as dom0 with the Xen 4.4 toolstack.
>> - I can run an Ubuntu 13.10 guest, with its rootfs on an LVM volume
>> and working networking.
>>
>> This all seems to be stable and working well. I'm using a guest VM as
>> a build system.
>>
>> I'm currently looking into getting Mini-OS running as a Xen guest. My
>> repository (forked from https://github.com/KarimAllah/xen) is here:
>>
>>  https://github.com/talex5/xen
>>
>> Currently though it just contains a couple of hacks to make Mini-OS build.
>
> I'm following your instructions now to get a fresh Xen/ARM on my Cubie2
> as well -- those are great notes!

I've updated the instructions now to cover Mini-OS, which now boots
(thanks to Julien for spotting the caching bug in the page table
configuration).

I didn't check that any of its other features work, since I assume
most of them will be replaced by mirage code anyway.

> Another thing worth trying is to bring up a FreeBSD/Xen/ARM guest on
> your setup to check that it comes up with that version of Xen.  It looks
> like we're heading towards FreeBSD being a potential replacement for
> MiniOS as a bootloader in the longer term. Having the FreeBSD/Xen/ARM guest
> working means that we could in theory unify the Raspberry Pi and Xen
> Mirage backends.
>
> See these about FreeBSD on Xen:
> http://blog.xen.org/index.php/2014/01/21/improved-xen-support-in-freebsd/
> http://lists.freebsd.org/pipermail/freebsd-xen/2014-January/001974.html

OK, I'll look at adding instructions for FreeBSD next.

Then I'll need to read the Mirage docs to find out how that integrates
with Mini-OS/FreeBSD.


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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