From ae9ffe21b4dbe44a2fd2bc20f1eb8861f87fc264 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 5 Sep 2014 11:25:34 -0600
Subject: [PATCH] Copy more logic from nuttx/tools/Config.mk into the Make.defs
 file. Plus trivial related changes

---
 configs/sama5d4-ek/kernel/defconfig | 2 --
 1 file changed, 2 deletions(-)

diff --git a/configs/sama5d4-ek/kernel/defconfig b/configs/sama5d4-ek/kernel/defconfig
index 1df0c099f6e..dea5111de24 100644
--- a/configs/sama5d4-ek/kernel/defconfig
+++ b/configs/sama5d4-ek/kernel/defconfig
@@ -740,8 +740,6 @@ CONFIG_BUILTIN_PROXY_STACKSIZE=1024
 # CONFIG_EXAMPLES_CXXTEST is not set
 # CONFIG_EXAMPLES_DHCPD is not set
 CONFIG_EXAMPLES_ELF=y
-CONFIG_EXAMPLES_ELF_SYSCALL=y
-# CONFIG_EXAMPLES_ELF_LIBC is not set
 CONFIG_EXAMPLES_ELF_DEVMINOR=0
 CONFIG_EXAMPLES_ELF_DEVPATH="/dev/ram0"
 # CONFIG_EXAMPLES_FTPC is not set