debian-packaging
/
linux
8
0
Fork 0
Code Releases Activity

arm64: Enable ARM64_ERRATUM_843419 (Closes: #920866)

This commit is contained in:
Marcin Juszkiewicz 2019-02-08 10:02:07 +01:00
parent 5019a8394c
commit 3efa0022ac
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
debian/changelog vendored
View File

@ -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)

3
debian/config/arm64/config vendored
View File

@ -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