diff --git a/boards/sim/sim/sim/README.txt b/boards/sim/sim/sim/README.txt
index 4875d83b0d..10a20bccd7 100644
--- a/boards/sim/sim/sim/README.txt
+++ b/boards/sim/sim/sim/README.txt
@@ -617,6 +617,12 @@ minibasic
   This configuration was used to test the Mini Basic port at
   apps/interpreters/minibasic.
 
+module
+
+  This is a configuration to test CONFIG_LIBC_MODLIB with 64-bit modules.
+  This has apps/examples/module and apps/examples/sotest enabled.
+  This configuration is intended for 64-bit host OS.
+
 mount
 
   Configures to use apps/examples/mount.
diff --git a/boards/sim/sim/sim/configs/module/defconfig b/boards/sim/sim/sim/configs/module/defconfig
new file mode 100644
index 0000000000..12fb776fe5
--- /dev/null
+++ b/boards/sim/sim/sim/configs/module/defconfig
@@ -0,0 +1,83 @@
+#
+# This file is autogenerated: PLEASE DO NOT EDIT IT.
+#
+# You can use "make menuconfig" to make any modifications to the installed .config file.
+# You can then do "make savedefconfig" to generate a new defconfig file that includes your
+# modifications.
+#
+# CONFIG_NSH_CMDOPT_HEXDUMP is not set
+CONFIG_ARCH="sim"
+CONFIG_ARCH_BOARD="sim"
+CONFIG_ARCH_BOARD_SIM=y
+CONFIG_ARCH_CHIP="sim"
+CONFIG_ARCH_SIM=y
+CONFIG_BINFMT_DISABLE=y
+CONFIG_BOARDCTL_POWEROFF=y
+CONFIG_BOARD_LOOPSPERMSEC=0
+CONFIG_BOOT_RUNFROMEXTSRAM=y
+CONFIG_BUILTIN=y
+CONFIG_CLOCK_MONOTONIC=y
+CONFIG_DEV_LOOP=y
+CONFIG_DEV_ZERO=y
+CONFIG_ELF_64BIT=y
+CONFIG_EXAMPLES_MODULE=y
+CONFIG_EXAMPLES_MODULE_DEVMINOR=4
+CONFIG_EXAMPLES_MODULE_DEVPATH="/dev/ram4"
+CONFIG_EXAMPLES_SOTEST=y
+CONFIG_EXAMPLES_SOTEST_DEVMINOR=3
+CONFIG_EXAMPLES_SOTEST_DEVPATH="/dev/ram3"
+CONFIG_FSUTILS_PASSWD=y
+CONFIG_FSUTILS_PASSWD_READONLY=y
+CONFIG_FS_ROMFS=y
+CONFIG_HOST_MACOS=y
+CONFIG_IOB_NOTIFIER=y
+CONFIG_LIBC_DLFCN=y
+CONFIG_LIB_ENVPATH=y
+CONFIG_MAX_TASKS=64
+CONFIG_MM_FILL_ALLOCATIONS=y
+CONFIG_NAME_MAX=64
+CONFIG_NET=y
+CONFIG_NETDB_DNSCLIENT=y
+CONFIG_NETDEV_IFINDEX=y
+CONFIG_NETDEV_PHY_IOCTL=y
+CONFIG_NETDOWN_NOTIFIER=y
+CONFIG_NET_ARP_SEND=y
+CONFIG_NET_BROADCAST=y
+CONFIG_NET_ICMP=y
+CONFIG_NET_ICMP_SOCKET=y
+CONFIG_NET_ICMPv6=y
+CONFIG_NET_ICMPv6_AUTOCONF=y
+CONFIG_NET_ICMPv6_NEIGHBOR=y
+CONFIG_NET_ICMPv6_ROUTER=y
+CONFIG_NET_ICMPv6_SOCKET=y
+CONFIG_NET_IPv6=y
+CONFIG_NET_LOCAL=y
+CONFIG_NET_PROMISCUOUS=y
+CONFIG_NET_SOCKOPTS=y
+CONFIG_NET_STATISTICS=y
+CONFIG_NET_TCP=y
+CONFIG_NET_TCP_NOTIFIER=y
+CONFIG_NET_TCP_WRITE_BUFFERS=y
+CONFIG_NET_UDP=y
+CONFIG_NET_UDP_NOTIFIER=y
+CONFIG_NFILE_DESCRIPTORS=32
+CONFIG_NSH_ARCHINIT=y
+CONFIG_NSH_BUILTIN_APPS=y
+CONFIG_NSH_LINELEN=200
+CONFIG_NSH_READLINE=y
+CONFIG_READLINE_TABCOMPLETION=y
+CONFIG_RTC=y
+CONFIG_RTC_ARCH=y
+CONFIG_RTC_DATETIME=y
+CONFIG_RTC_DRIVER=y
+CONFIG_SCHED_HAVE_PARENT=y
+CONFIG_SCHED_ONEXIT=y
+CONFIG_SCHED_WAITPID=y
+CONFIG_SDCLONE_DISABLE=y
+CONFIG_SIG_DEFAULT=y
+CONFIG_START_MONTH=6
+CONFIG_START_YEAR=2008
+CONFIG_STDIO_DISABLE_BUFFERING=y
+CONFIG_SYSLOG_CONSOLE=y
+CONFIG_SYSTEM_NSH=y
+CONFIG_USER_ENTRYPOINT="nsh_main"