mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-24 04:55:42 +00:00
b596db3eed
This commit circumvents faulty behaviour of base-pistachio, if the PCI config space gets requested megabyte-wise. It occurs that we get a mapping sequence in between sigma0, core and component, like the following: 0xe1000000 => 0xbf001000 => 0x10b000, with the consequence that the component stalls when accessing the latter one. By requesting I/O memory aligned to the size, the faulty behaviour vanishes. Ref #4686
This repository contains the L4ka::Pistachio-specific implementation of Genode. Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further instructions on building and using Genode on the L4ka::Pistachio kernel.