diff --git a/configs/README.txt b/configs/README.txt
index cf4f61cff1..88b3689079 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -485,6 +485,11 @@ defconfig -- This is a configuration file similar to the Linux
 		CONFIG_ARCH_STRNCPY, CONFIG_ARCH_STRLEN, CONFIG_ARCH_STRNLEN
 		CONFIG_ARCH_BZERO
 
+		The architecture may provide custom versions of certain
+		standard header files:
+
+		CONFIG_ARCH_MATH_H, CONFIG_ARCH_STDBOOL_H, CONFIG_ARCH_STDINT_H
+
 	Sizes of configurable things (0 disables)
 
 		CONFIG_MAX_TASKS - The maximum number of simultaneously
diff --git a/configs/rgmp/default/defconfig b/configs/rgmp/default/defconfig
index 0f744c73d1..13b3047673 100644
--- a/configs/rgmp/default/defconfig
+++ b/configs/rgmp/default/defconfig
@@ -188,6 +188,9 @@ CONFIG_ARCH_STRNCPY=y
 CONFIG_ARCH_STRLEN=y
 CONFIG_ARCH_STRNLEN=y
 CONFIG_ARCH_BZERO=n
+CONFIG_ARCH_MATH_H=y
+CONFIG_ARCH_STDINT_H=y
+CONFIG_ARCH_STDBOOL_H=y
 
 #
 # General build options
diff --git a/configs/rgmp/nsh/defconfig b/configs/rgmp/nsh/defconfig
index 68d361a09a..578b053dfd 100644
--- a/configs/rgmp/nsh/defconfig
+++ b/configs/rgmp/nsh/defconfig
@@ -188,6 +188,9 @@ CONFIG_ARCH_STRNCPY=y
 CONFIG_ARCH_STRLEN=y
 CONFIG_ARCH_STRNLEN=y
 CONFIG_ARCH_BZERO=n
+CONFIG_ARCH_MATH_H=y
+CONFIG_ARCH_STDINT_H=y
+CONFIG_ARCH_STDBOOL_H=y
 
 #
 # General build options