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 | 4 |
1 files changed, 2 insertions, 2 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 498ffaf18..e7267bee8 100644 --- a/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch +++ b/0001-arm-make-CONFIG_HIGHPTE-optional-without-CONFIG_EXPE.patch @@ -11,10 +11,10 @@ Signed-off-by: Jon Masters <jcm@redhat.com> 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig -index 2ac74904a3ce..f0094424f76a 100644 +index e00d94b16658..4db48405b23a 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig -@@ -1549,9 +1549,9 @@ config HIGHMEM +@@ -1514,9 +1514,9 @@ config HIGHMEM If unsure, say n. config HIGHPTE |