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