genode/repos/base-pistachio/src
Alexander Boettcher 661be648d5 pistachio: don't remove KIP range from io_mem alloc
The KIP address range resides in virtual memory while io_mem alloc
manages physical-address ranges.

The patch enables the use of ECAM/MMCONF for PCI configuration.

Issue #2547
2018-03-27 13:44:28 +02:00
..
core pistachio: don't remove KIP range from io_mem alloc 2018-03-27 13:44:28 +02:00
include/base/internal init: close all sessions of exited children 2018-02-09 13:31:27 +01:00
kernel/pistachio pistachio: symlink kernel files to bin/ 2017-05-02 15:29:03 +02:00
lib core: simplify initialization 2017-05-31 13:16:12 +02:00