genode

History

Alexander Boettcher a258caa7ab nova: propagate bdf for assign_pci properly 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		2016-01-13 14:57:02 +01:00
..
doc	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
etc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	nova: propagate bdf for assign_pci properly	2016-01-13 14:57:02 +01:00
lib/mk	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
mk/spec	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
patches	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
ports	nova: avoid warnings because of oom handling	2016-01-08 14:37:57 +01:00
run	nova: extend platform test by PAT test	2015-08-31 09:09:22 +02:00
src	nova: propagate bdf for assign_pci properly	2016-01-13 14:57:02 +01:00
Makefile	Enable hash checks for ports mechanism	2014-05-27 13:45:03 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

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':