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

Merge branch 'bug-920866-enable-ARM64_ERRATUM_843419' into 'sid' 

arm64: enable ARM64_ERRATUM_843419

See merge request kernel-team/linux!118
This commit is contained in:
Ben Hutchings 2019-02-09 23:35:26 +00:00
parent 5019a8394c 3efa0022ac
commit 9d0b369bc7
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