From e2a4d40fc35f46c313761fcc5586cba867e90809 Mon Sep 17 00:00:00 2001 From: Bastian Blank Date: Sun, 3 Aug 2014 20:16:41 +0000 Subject: [PATCH] * debian/changelog: Update. * debian/config/kernelarch-x86/config: Enable XEN_PVH. svn path=/dists/trunk/linux/; revision=21675 --- debian/changelog | 3 +++ debian/config/kernelarch-x86/config | 1 + 2 files changed, 4 insertions(+) diff --git a/debian/changelog b/debian/changelog index f62fb044aad4..4da30dcfecbf 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,9 @@ linux (3.16~rc6-1~exp2) UNRELEASED; urgency=medium * [x86] vfio: Enable VFIO_PCI_VGA. * udeb: rename crc32c.ko into crc32c_generic.ko in crc-modules. + [ Bastian Blank ] + * [x86] Enable Xen PVH support. + -- Aurelien Jarno Thu, 31 Jul 2014 20:56:06 +0200 linux (3.16~rc6-1~exp1) experimental; urgency=medium diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config index df0391b66d28..2c13a987de79 100644 --- a/debian/config/kernelarch-x86/config +++ b/debian/config/kernelarch-x86/config @@ -120,6 +120,7 @@ CONFIG_KVM_DEVICE_ASSIGNMENT=y ## CONFIG_XEN=y # CONFIG_XEN_DEBUG_FS is not set +CONFIG_XEN_PVH=y ## ## file: block/partitions/Kconfig