diff --git a/examples/elf/Kconfig b/examples/elf/Kconfig
index 2dd175520..77ae2b815 100644
--- a/examples/elf/Kconfig
+++ b/examples/elf/Kconfig
@@ -7,6 +7,7 @@ config EXAMPLES_ELF
 	bool "ELF Loader Example"
 	default n
 	select LIBC_EXECFUNCS
+	depends on ELF && !BUILD_KERNEL
 	---help---
 		Enable the ELF loader example
 
@@ -15,7 +16,7 @@ if EXAMPLES_ELF
 config EXAMPLES_ELF_SYSCALL
 	bool "Link with SYSCALL library"
 	default n
-	depends on LIB_SYSCALL && !BUILD_KERNEL
+	depends on LIB_SYSCALL
 	---help---
 		Link with the SYSCALL library.  By default, all undefined symbols
 		must be provided via a symbol table.  But if this option is
@@ -27,7 +28,6 @@ config EXAMPLES_ELF_SYSCALL
 config EXAMPLES_ELF_LIBC
 	bool "Link with LIBC"
 	default n
-	depends on !BUILD_KERNEL
 	---help---
 		Link with the C library (and also math library if it was built).
 		By default, all undefined symbols must be provided via a symbol
diff --git a/examples/elf/elf_main.c b/examples/elf/elf_main.c
index 038a5e65a..fea2e0a3d 100644
--- a/examples/elf/elf_main.c
+++ b/examples/elf/elf_main.c
@@ -301,7 +301,14 @@ int elf_main(int argc, char *argv[])
       filename = fullpath;
 #endif
 
-      /* Execute the ELF module */
+      /* Execute the ELF module.
+       *
+       * NOTE: The standard posix_spawn() interface would be more correct.
+       * The non-standard exec() function is used because it provides a
+       * simple way to pass the symbol table information needed to load the
+       * program.  posix_spawn(), on the other hand, will assume that symbol
+       * table information is available within the OS.
+       */
 
       args[0] = NULL;
       ret = exec(filename, args, exports, nexports);
diff --git a/examples/nxflat/Kconfig b/examples/nxflat/Kconfig
index 2b34c8237..963a26d8e 100644
--- a/examples/nxflat/Kconfig
+++ b/examples/nxflat/Kconfig
@@ -7,7 +7,7 @@ config EXAMPLES_NXFLAT
 	bool "NXFLAT example"
 	default n
 	select LIBC_EXECFUNCS
-	depends on NXFLAT && BUILD_FLAT
+	depends on NXFLAT && !BUILD_KERNEL
 	---help---
 		Enable the NXFLAT example
 
diff --git a/examples/nxflat/nxflat_main.c b/examples/nxflat/nxflat_main.c
index a7fceaa8b..cdd92337e 100644
--- a/examples/nxflat/nxflat_main.c
+++ b/examples/nxflat/nxflat_main.c
@@ -223,7 +223,14 @@ int nxflat_main(int argc, char *argv[])
       filename = fullpath;
 #endif
 
-      /* Execute the NXFLAT module */
+      /* Execute the NXFLAT module
+       *
+       * NOTE: The standard posix_spawn() interface would be more correct.
+       * The non-standard exec() function is used because it provides a
+       * simple way to pass the symbol table information needed to load the
+       * program.  posix_spawn(), on the other hand, will assume that symbol
+       * table information is available within the OS.
+       */
 
       args[0] = NULL;
       ret = exec(filename, args, exports, NEXPORTS);
diff --git a/examples/pty_test/Kconfig b/examples/pty_test/Kconfig
index 6ec0366ec..0f2a823c6 100644
--- a/examples/pty_test/Kconfig
+++ b/examples/pty_test/Kconfig
@@ -37,7 +37,7 @@ config EXAMPLES_PTYTEST_STACKSIZE
 	int "PTYTest stack size"
 	default 2048
 
-config EXAMPLES_PTYTEST_DAEMONPRIO,
+config EXAMPLES_PTYTEST_DAEMONPRIO
 	int "PTY_Test daemon task priority"
 	default 100
 
diff --git a/examples/random/Kconfig b/examples/random/Kconfig
index 021c2b042..7b1c11bb8 100644
--- a/examples/random/Kconfig
+++ b/examples/random/Kconfig
@@ -19,7 +19,7 @@ config EXAMPLES_MAXSAMPLES
 		This is the size of the /dev/random I/O buffer in units of 32-bit
 		samples.  Careful!  This buffer is allocated on the stack as needed!
 
-config EXAMPLES_NSAMPLES;
+config EXAMPLES_NSAMPLES
 	int "Default samples"
 	default 8
 	---help---