From 3efa0022ac723dcc1c8ec07e05d75c3154fa666b Mon Sep 17 00:00:00 2001 From: Marcin Juszkiewicz Date: Fri, 8 Feb 2019 10:02:07 +0100 Subject: [PATCH] arm64: Enable ARM64_ERRATUM_843419 (Closes: #920866) --- debian/changelog | 1 + debian/config/arm64/config | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 7c9b02fa2..36513281e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -399,6 +399,7 @@ linux (4.19.20-1) UNRELEASED; urgency=medium get really enabled. * [arm64] enable PCI_PRI, PCI_PASID as PCI can be behind IOMMU in servers. * udeb: Add virtio-gpu into d-i to get graphical output in VM instances. + * [arm64] Enable ARM64_ERRATUM_843419 (Closes: #920866) [ Salvatore Bonaccorso ] * [x86] kvmclock: set offset for kvm unstable clock (Closes: #918036) diff --git a/debian/config/arm64/config b/debian/config/arm64/config index 1b10785f6..48cfdfd0d 100644 --- a/debian/config/arm64/config +++ b/debian/config/arm64/config @@ -3,8 +3,7 @@ ## CONFIG_PCI=y CONFIG_ARM64_ERRATUM_834220=y -#. Until we decide how/whether to handle this in userland as well -# CONFIG_ARM64_ERRATUM_843419 is not set +CONFIG_ARM64_ERRATUM_843419=y ## choice: Virtual address space size CONFIG_ARM64_VA_BITS_48=y ## end choice