From 5dc9d963f64364aee3bcea5d153ce722e1cef569 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sat, 5 Nov 2016 08:49:50 -0600
Subject: [PATCH] configs/misco:  CONFIG_DEFAULT_SMALL should not be set
 either. It is really too late now, hoever, because all of the small defaults
 have already been set.

---
 configs/misoc/hello/defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/misoc/hello/defconfig b/configs/misoc/hello/defconfig
index 39eddd2435..dddddfd3ee 100644
--- a/configs/misoc/hello/defconfig
+++ b/configs/misoc/hello/defconfig
@@ -7,7 +7,7 @@
 # Build Setup
 #
 # CONFIG_EXPERIMENTAL is not set
-CONFIG_DEFAULT_SMALL=y
+# CONFIG_DEFAULT_SMALL is not set
 CONFIG_HOST_LINUX=y
 # CONFIG_HOST_OSX is not set
 # CONFIG_HOST_WINDOWS is not set