diff options
author | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-04-29 16:33:44 +0200 |
---|---|---|
committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-04-29 16:33:44 +0200 |
commit | 0c9c09e2873354ef28a3b5a74acd8884292e6fc4 (patch) | |
tree | 49fea2bb89fee2d6afa95b70753db38535e9f4eb /0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch | |
parent | b882163f98fbb3dcc9ff5d494827ea4abbaf7a12 (diff) | |
parent | 68dd5fcadc5b702c7d1426dea990ff0b55e62f42 (diff) | |
download | kernel-0c9c09e2873354ef28a3b5a74acd8884292e6fc4.tar.gz kernel-0c9c09e2873354ef28a3b5a74acd8884292e6fc4.tar.xz kernel-0c9c09e2873354ef28a3b5a74acd8884292e6fc4.zip |
Merge remote-tracking branch 'origin/master' into rawhide-user-thl-vanilla-fedora
Diffstat (limited to '0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch')
-rw-r--r-- | 0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch b/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch index 74cf3dff0..99d36fd7e 100644 --- a/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch +++ b/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch @@ -1,4 +1,4 @@ -From f0a79207110a2d3bbb1ff18ed7d44f8adab1e21b Mon Sep 17 00:00:00 2001 +From 37e0967bc53c2721aba44daa6be9cf4a7d2fd19b Mon Sep 17 00:00:00 2001 From: Jon Masters <jcm@redhat.com> Date: Thu, 18 Jul 2019 15:47:26 -0400 Subject: [PATCH] arm: make CONFIG_HIGHPTE optional without CONFIG_EXPERT |