l4android not accessing android image from disk

[Norman Feske]

Hello John,

On 09.07.2016 20:04, john stokes wrote:
...
> [init -> nitpicker] no policy matching label "android_fb"

have you investigated this problem? Your run script lacks the
configuration of the nitpicker GUI server. Nitpicker has changed quite
substantially since the time your run script originates from. See the
release notes of version 14.08 [1] and nitpicker's README [2].

[1]
http://genode.org/documentation/release-notes/14.08#Low-level_OS_infrastructure
[2]
https://github.com/genodelabs/genode/blob/master/repos/os/src/server/nitpicker/README

Regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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