From f179e369346dee5619bbe97c8942a9aa873b2be0 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sat, 1 Dec 2018 12:30:59 -0600
Subject: [PATCH] Fix an error found in build testing.

---
 configs/stm32f429i-disco/highpri/defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/stm32f429i-disco/highpri/defconfig b/configs/stm32f429i-disco/highpri/defconfig
index a393099e43..210552bdcb 100644
--- a/configs/stm32f429i-disco/highpri/defconfig
+++ b/configs/stm32f429i-disco/highpri/defconfig
@@ -25,7 +25,7 @@ CONFIG_LIBC_FLOATINGPOINT=y
 CONFIG_LIBM=y
 CONFIG_MAX_TASKS=16
 CONFIG_MAX_WDOGPARMS=2
-CONFIG_MM_REGIONS=3
+CONFIG_MM_REGIONS=2
 CONFIG_NFILE_DESCRIPTORS=8
 CONFIG_NFILE_STREAMS=8
 CONFIG_PREALLOC_MQ_MSGS=4