irage would be a great demonstrator. I'll
look around for a suitable board.
--- Original Message ---
From: "Anil Madhavapeddy"
Sent: 27 August 2015 1:26 pm
To: "Nick Betteridge"
Cc: "Richard Mortier" , mirageos-devel@lists.xenproject.org
Subject: Re: [MirageO
;
Cc: "Anil Madhavapeddy" , "Richard Mortier" ,
mirageos-devel@lists.xenproject.org
Subject: Re: [MirageOS-devel] Recommended device for MirageOS
On 27 August 2015 at 07:01, Nick Betteridge wrote:
>
> Definitely recommend the Cubieboard2 or Cubietruck.
>
> I think th
On 27 August 2015 at 07:01, Nick Betteridge wrote:
>
> Definitely recommend the Cubieboard2 or Cubietruck.
>
> I think that the sunxi development of cubieboard4 has dried up even though
> it's marked to be included in the next release. The only issue I've found
> with cubieboard2/3 - which is defi
Do you mean that the upstream progress of the Cubie4 has stopped? That's not a
good sign -- although the 64 bit v8 architecture in the next rev is very
exciting indeed! OCaml trunk has a native code generator for it, which works
well enough in my qemu testing so far, so Mirage itself shouldn't
Definitely recommend the Cubieboard2 or Cubietruck.
I think that the sunxi development of cubieboard4 has dried up even though it's
marked to be included in the next release. The only issue I've found with
cubieboard2/3 - which is definitely the way to go - is that if you run the
boards with
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 fo
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 wrote:
>
> How do you
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 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 b
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 addresse
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, "
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
11 matches
Mail list logo
