> On 12 Nov 2015, at 00:11, Vincent Bernardoff <v...@luminar.eu.org> 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 AC _______________________________________________ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
