Re: [MirageOS-devel] Recommended device for MirageOS

[Magnus Skjegstad <magnus@xxxxx>]

I tried briefly to get HDMI working with xen-arm-builder [0] some time
ago. If I remember correctly the problem then was that to get the Mali
driver [1] working I had to use an older Sunxi linux kernel. Many of the
Sunxi patches have been added to the main Linux kernel, but it seems
that support for Mali is unlikely at the moment [2]. Maybe there are
other alternatives now.

0. https://github.com/mirage/xen-arm-builder
1. http://linux-sunxi.org/Mali_binary_driver
2. http://linux-sunxi.org/Linux_mainlining_effort#Unlikely

-- 
Magnus

On Wed, 26 Aug 2015, at 18:26, Anil Madhavapeddy wrote:
> I hook up the Cubieboard to my Mac laptop to get it Internet sharing,
> and present via a webbrowser and a terminal SSHed into the board.
> 
> Good enough, but not nearly as cool as a USB/Bluetooth clicker and
> HDMI output would be...
> 
> -a
> 
> > On 26 Aug 2015, at 17:25, Garrett Smith <g@xxxxxx> wrote:
> > 
> > How do you present otherwise? Just boot and then access the
> > application via known ports?
> > 
> > On Wed, Aug 26, 2015 at 4:25 AM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> >> 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/ has a bunch of US suppliers.
> >> 
> >> -a
> >> 
> >> On 26 Aug 2015, at 06:44, Richard Mortier <mort@xxxxxxxxxx> 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" <g@xxxxxx> 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
> >>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> >>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> >> 
> >> _______________________________________________
> >> MirageOS-devel mailing list
> >> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> >> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> >> 
> >> 
> > 
> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

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