error related to block device while running make run/l4linux

[Norman Feske]

Hello,

On 27.06.2016 21:15, john stokes wrote:
> after doing make menuconfig and selecting block device support for
> l4linux so that when i boot it  on real hardware the root file system
> can be mounted easily.but i am getting this infinite loop is there any
> solution for bloc device support ?
>
> [init -> l4linux] Invalid IO-Port access at pc = 005a9650 port=0x64

L4Linux is not permitted to access physical devices directly. In order
to use a block device, you will need to add a block driver component
(such as the AHCI driver) to your Genode scenario. If the L4Linux config
contains a sub node like '<block label="sda"/>', L4Linux will request a
block session, which needs to be routed to the block driver.

Please refer ports-foc/README for more information about configuring
L4Linux. For integrating the AHCI driver into your scenario, you may
find the run scripts at os/run/ahci_* useful.

Cheers
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