linux/debian/config/kernelarch-x86
Bastian Blank f027037f86 [x86] Enable DRM_XEN_FRONTEND 2018-12-16 18:23:38 +01:00
..
config [x86] Enable DRM_XEN_FRONTEND 2018-12-16 18:23:38 +01:00