Definitely recommend the Cubieboard2 or Cubietruck. One hitch is that the onboard graphics HDMI driver doesn't work under Xen, or else it would be possible to just present directly from the embedded device via HDMI. I suspect it's just a minor patch to Xen to permit some memory mapped addresses to be passed through to dom0, but haven't had a chance to look yet -- this would be a good pioneer project :-)
http://cubieboard.org/buy/ <http://cubieboard.org/buy/> has a bunch of US suppliers. -a > On 26 Aug 2015, at 06:44, Richard Mortier <[email protected]> wrote: > > The most commonly used platform afaik is the cubieboard2, though cubieboard3 > (aka cubietruck) is also known to work fine (albeit using WiFi USB dongle > rather then the on-board WiFi). I don't think anyone's tried the cubieboard4 > yet. > > Can't help with US supplier I'm afraid! > > On 26 Aug 2015 5:32 am, "Garrett Smith" <[email protected] <mailto:[email protected]>> > wrote: > I'm working on a presentation where I'd like to showcase a unikernel - > so I'm in the market for one of those sweet SBCs [1] > > What's the recommended hardware platform for path-of-least-resistance > with Mirage? I'd like to keep it under $US100. > > For US customers, is there a recommended source? > > [1] I just want to get one, using Mirage as cover > > _______________________________________________ > MirageOS-devel mailing list > [email protected] > <mailto:[email protected]> > http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel > <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
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
