mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
a258caa7ab
Now, the right PCI bus:device:function (BDF) is reported to the kernel during assign_pci syscall - beforehand it was ever 0:0.0. The BDF is needed to lookup the correct DMAR unit the kernel has to configure. This was revealed as the DMAR unit for Intel graphics on x201 is not the same as for all other PCI devices we have drivers for on this platform. Fixes #1848 |
||
---|---|---|
.. | ||
doc | ||
etc | ||
include | ||
lib/mk | ||
mk/spec | ||
patches | ||
ports | ||
run | ||
src | ||
Makefile | ||
README |
This repository contains the port of Genode to the NOVA microhypervisor. For more information on this base platform, please refer to the official website. :[http://hypervisor.org]: Official website for the NOVA microhypervisor. For information on using Genode on NOVA, please revisit the documentation at 'base-nova/doc/nova.txt':