diff options
| author | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-05-05 21:59:30 +0200 |
|---|---|---|
| committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-05-05 21:59:30 +0200 |
| commit | a370e206b17a4b1e64f9d53e12a9c78829cbbd66 (patch) | |
| tree | 0aec228778c49ce58dd6938793904902cf432d5e /0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch | |
| parent | fb8f64b7716fe6d20a7b0f0347f4706dd535146e (diff) | |
| parent | 4fdfe982aedc1556d7754a55d2515f754d2b2e7d (diff) | |
| download | kernel-a370e206b17a4b1e64f9d53e12a9c78829cbbd66.tar.gz kernel-a370e206b17a4b1e64f9d53e12a9c78829cbbd66.tar.xz kernel-a370e206b17a4b1e64f9d53e12a9c78829cbbd66.zip | |
Merge remote-tracking branch 'origin/master' into rawhide-user-thl-vanilla-fedorakernel-5.7.0-0.rc4.20200505git47cf1b422e60.1.vanilla.1.fc31
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 8aedbfa59..1d208b5e3 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 047be0a7a7d589cad0891671b612ef88b9474f35 Mon Sep 17 00:00:00 2001 +From b77b139e53e09efe8ebbb262ebdb01fea6e129fd 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 |