Hello Steven,
thanks for your interest in Genode!
> If one wanted to run Android OS on ARM hardware with Genode
> underneath, what are the available options? On x86, Virtualbox
> ought to be up to the job, but without something like the
> (seemingly offline) L4Android port, the options for
Hey Phillip,
I assume Sebastian will not mind if I give a small hint according to
item 3 on the list. ;-)
On Tue, Mar 28, 2017 at 03:43:48PM +0200, Sebastian Sumpf wrote:
> 3. Find and map the PCI I/O memory resource of the controller
Have a look at os/run/pci.run and os/src/test/pci/test.cc to
Hi Philipp,
On 03/28/2017 10:17 AM, Philipp Kerling wrote:
>
> Am Samstag, den 25.03.2017, 09:40 +0100 schrieb Sebastian Sumpf:
>> Sounds good, looking forward to your proposal.
> Thanks - I've submitted the draft. I'd be happy to hear any comments or
> suggestions you and the other team members
Hi Stefan,
I've tried using the uboot plugin (RUN_OPT += --include image/uboot). I've
been able to generate a uImage successfully. When I tried to flash it on to
the board, it stops with following log (was observed in TeraTerm while
using the MfgTool):
U-Boot 2009.08 (Aug 16 2013 - 14:38:59)
Hi,
On 03/27/2017 02:54 PM, Kranthi Tej wrote:
> Hello,
>
> We are using a i.MX6 based board. We have been able to run Android
> successfully on the board. I've built the Genode demo image for the ARM
> processor by using the Wandboard build configuration (hw_wand_quad). I
> have successfully
If one wanted to run Android OS on ARM-based hardware with Genode
underneath, what are the available options? On x86, Virtualbox
ought to be up to the job, but without something like the
(seemingly offline) L4Android port, the options for virtualizing
on Genode appear limited. Has anyone
Hi Sebastian,
Am Samstag, den 25.03.2017, 09:40 +0100 schrieb Sebastian Sumpf:
> Sounds good, looking forward to your proposal.
Thanks - I've submitted the draft. I'd be happy to hear any comments or
suggestions you and the other team members might have.
On another note, the microkernel devroom
