diff --git a/configs/Kconfig b/configs/Kconfig
index e8a4a3ddfa..d6f3152e06 100644
--- a/configs/Kconfig
+++ b/configs/Kconfig
@@ -426,14 +426,11 @@ config ARCH_BOARD_SIM
 	bool "User mode simulation"
 	depends on ARCH_SIM
 	---help---
-		A user-mode port of NuttX to the x86 Linux platform is available.
+		A user-mode port of NuttX to the x86 Linux/Cygwin platform is available.
 		The purpose of this port is primarily to support OS feature development.
 		This port does not support interrupts or a real timer (and hence no
 		round robin scheduler)  Otherwise, it is complete.
 
-		NOTE: This target will not run on Cygwin probably for many reasons but
-		first off because it uses some of the same symbols as does cygwin.dll.
-
 config ARCH_BOARD_CUSTOM
 	bool "Custom development board"
 	---help---
diff --git a/configs/README.txt b/configs/README.txt
index 170d34f164..9cb8cd33b5 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -1518,9 +1518,6 @@ configs/sim
   This port does not support interrupts or a real timer (and hence no
   round robin scheduler)  Otherwise, it is complete.
 
-  NOTE: This target will not run on Cygwin probably for many reasons but
-  first off because it uses some of the same symbols as does cygwin.dll.
-
 configs/skp16c26
   Renesas M16C processor on the Renesas SKP16C26 StarterKit.  This port
   uses the GNU m32c toolchain.  STATUS:  The port is complete but untested
diff --git a/configs/sim/Kconfig b/configs/sim/Kconfig
index ae2bf31307..8a0c25f70f 100644
--- a/configs/sim/Kconfig
+++ b/configs/sim/Kconfig
@@ -2,3 +2,6 @@
 # For a description of the syntax of this configuration file,
 # see misc/tools/kconfig-language.txt.
 #
+
+if ARCH_BOARD_SIM
+endif
diff --git a/configs/skp16c26/ostest/defconfig b/configs/skp16c26/ostest/defconfig
index 70248aaac7..6ab7318e65 100644
--- a/configs/skp16c26/ostest/defconfig
+++ b/configs/skp16c26/ostest/defconfig
@@ -64,7 +64,7 @@
 # CONFIG_ARCH_LCD - Configure LCD.  Unique to skp16c26.
 
 CONFIG_ARCH=sh
-CONFIG_ARCH_SH=y
+CONFIG_ARCH_M16C=y
 CONFIG_ARCH_CHIP=m16c
 CONFIG_ARCH_CHIP_M30262F8=y
 CONFIG_ARCH_BOARD=skp16c26