Hi!
As a newbie I'm a bit confused which boards and CPUs work with
MirageOS/XEN. I understood while ARM64 doesn't work yet (but it
shouldn't be a big deal to get it running) instead ARM32 is the only
architecture supported. Obviously Cubieboard2 works but I couldn't find
information about other supported devices. In particular I'm interested
in faster devices than the Cubieboard2. Could anybody list other working
boards and summarize the requirements to look for?

Thanks a lot.

Am 12.11.2015 um 14:42 schrieb Anil Madhavapeddy:
> 
>> On 12 Nov 2015, at 11:43, Amir Chaudhry <[email protected]> wrote:
>>
>>>
>>> On 12 Nov 2015, at 00:11, Vincent Bernardoff <[email protected]> wrote:
>>>
>>> On 09/11/2015 15:21, Anil Madhavapeddy wrote:
>>>> Just fyi, I also got another off-list reply pointing to:
>>>>
>>>>> The gigabyte MP30-AR0 boards are nice and very affordable:
>>>>>
>>>>> http://b2b.gigabyte.com/products/product-page.aspx?pid=5422#ov
>>>>>
>>>>> includes the X-gene 1 processor. They cost around $700
>>>>
>>>> -anil
>>>
>>>
>>> FYI, french provider online.net has released https://www.scaleway.com, a
>>> dedicated arm servers / cloud offer.
>>>
>>> It is perhaps possible to run Mirage on those…
>>
>> We did explore this but unfortunately there was a hardware limitation.
>>
>> https://github.com/scaleway/kernel-tools/issues/14#issuecomment-105536276
> 
> Xen doesn't run on there right now -- another option is that once the 
> Rump/Mirage hw/HVM backend gets more mature native ARM support, we should be 
> able to boot directly on the Scaleway C1s as bare metal.
> 
> Anil
> _______________________________________________
> MirageOS-devel mailing list
> [email protected]
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> 

_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to