Genode and Android

Norman Feske norman.feske at ...1...
Tue Mar 28 18:21:18 CEST 2017

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 virtualizing
> Android on Genode appear limited.   Has anyone tried this recently,
> and if nothing off the shelf will do it now, what path looks most
> promising?

In principle, there are two options:

First, one could run Genode in the "normal world" of ARM TrustZone as
exemplified in the scenarios described in [1] and [2]. The feasibility
of this approach pretty much depends on the target device.
Unfortunately, most devices on the market are locked down with respect
to TrustZone.

Second, one could leverage ARM's virtualization extensions as we
described in [3]. Our virtual-machine monitor is rather limited though.
It is able to boot a simple Linux system but in order to run a full
Android system, one would need to supplement the ability to pass-through
peripheral devices to the guest or to provide virtualized device models
for the devices expected by Android.

Admittedly, we haven't observed much interest in running Android on top
of Genode so far. Hence, we haven't pursued either direction in the
recent past.


Best regards

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list