| Subject: arm-disable-highmem-on-rt.patch |
| From: Thomas Gleixner <tglx@linutronix.de> |
| Date: Mon, 18 Jul 2011 17:09:28 +0200 |
| |
| Signed-off-by: Thomas Gleixner <tglx@linutronix.de> |
| --- |
| arch/arm/Kconfig | 2 +- |
| 1 file changed, 1 insertion(+), 1 deletion(-) |
| |
| Index: linux-stable/arch/arm/Kconfig |
| =================================================================== |
| --- linux-stable.orig/arch/arm/Kconfig |
| +++ linux-stable/arch/arm/Kconfig |
| @@ -1747,7 +1747,7 @@ config HAVE_ARCH_PFN_VALID |
| |
| config HIGHMEM |
| bool "High Memory Support" |
| - depends on MMU |
| + depends on MMU && !PREEMPT_RT_FULL |
| help |
| The address space of ARM processors is only 4 Gigabytes large |
| and it has to accommodate user address space, kernel address |
