Dan Horák ae8c56c0d4 VFIO_PCI_IGD needs explicit enable now		2018-07-12 16:09:09 +02:00
..
fedora	VFIO_PCI_IGD needs explicit enable now	2018-07-12 16:09:09 +02:00
build_configs.sh
config_generation
merge.pl
process_configs.sh