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	configs: Update config generation script to use configs/fedora	2018-01-05 14:40:19 -08:00
config_generation	configs: Update config generation script to use configs/fedora	2018-01-05 14:40:19 -08:00
merge.pl	Change method of configuration generation	2016-12-06 12:07:10 -08:00
process_configs.sh	configs: Update scripts and spec file with layout changes	2017-11-13 09:39:17 -08:00