Commit Message

BugLink: http://bugs.launchpad.net/bugs/519448
Xen dom-U support is currently not available in the 32bit kernels.
This is because the generic-pae kernel is only an M586 kernel which
does not support the TSC, a required element for XEN support. From the
available documentation it seems that all cpus which support PAE must
also have support for TSC. This means that we can switch the generic-pae
kernel from M586 to M586TSC safely. In M586TSC most XEN may then be
enabled successfully. Enable M586TSC and thereby XEN.
Signed-off-by: Andy Whitcroft <apw@canonical.com>
---
debian.master/config/amd64/config.common.amd64 | 1 +
debian.master/config/config.common.ubuntu | 2 --
debian.master/config/i386/config.common.i386 | 1 -
debian.master/config/i386/config.flavour.386 | 2 ++
debian.master/config/i386/config.flavour.generic | 2 ++
.../config/i386/config.flavour.generic-pae | 4 +++-
debian.master/config/lpia/config.common.lpia | 1 +
7 files changed, 9 insertions(+), 4 deletions(-)