l4android not accessing android image from disk

Norman Feske norman.feske at ...1...
Thu Jul 14 13:05:38 CEST 2016

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].



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

More information about the users mailing list