diff options
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 70c43dff7..8aedbfa59 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 2b3c85e7b8bfffec4730e99b110cb4acd72348d5 Mon Sep 17 00:00:00 2001 +From 047be0a7a7d589cad0891671b612ef88b9474f35 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 |