diff --git a/arch/Kconfig b/arch/Kconfig
index c5ca90d4380..21f62c54762 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -474,6 +474,10 @@ config ARCH_HAVE_CPUINFO
 	bool
 	default n
 
+config ARCH_HAVE_ELF_EXECUTABLE
+	bool
+	default n
+
 config ARCH_FPU
 	bool "FPU support"
 	default y
diff --git a/binfmt/Kconfig b/binfmt/Kconfig
index fb9626512c7..7d153c01eb1 100644
--- a/binfmt/Kconfig
+++ b/binfmt/Kconfig
@@ -66,3 +66,22 @@ config BINFMT_CONSTRUCTORS
 	---help---
 		Built-in support for C++ constructors in loaded modules.  Currently
 		only support for ELF binary formats.
+
+choice
+	prompt "File output format"
+	default BINFMT_ELF_RELOCATABLE
+	---help---
+		Defines the type of ELF file produced by the NuttX build system.
+
+config BINFMT_ELF_RELOCATABLE
+	bool "Relocatable ELF"
+	---help---
+	  Produce a relocatable object as output. This is also known as partial linking.
+
+config BINFMT_ELF_EXECUTABLE
+	bool "Executable ELF"
+	depends on ARCH_HAVE_ELF_EXECUTABLE
+	---help---
+	   Produce a full linked executable object as output.
+
+endchoice