diff options
Diffstat (limited to 'nuttx/configs/rgmp/x86/default/defconfig')
-rw-r--r-- | nuttx/configs/rgmp/x86/default/defconfig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/nuttx/configs/rgmp/x86/default/defconfig b/nuttx/configs/rgmp/x86/default/defconfig index e36c39766..30b27c4a1 100644 --- a/nuttx/configs/rgmp/x86/default/defconfig +++ b/nuttx/configs/rgmp/x86/default/defconfig @@ -48,7 +48,7 @@ CONFIG_ARCH_BOARD_RGMP=y CONFIG_USER_ENTRYPOINT="rgmp_main" CONFIG_DEBUG=n CONFIG_DEBUG_VERBOSE=n -CONFIG_DEBUG_SYMBOLS=n +CONFIG_DEBUG_SYMBOLS=y CONFIG_MM_REGIONS=1 CONFIG_ARCH_LOWPUTC=y CONFIG_MSEC_PER_TICK=1 @@ -96,6 +96,7 @@ CONFIG_DISABLE_POLL=y # # Misc libc settings # +CONFIG_LIBC_FLOATINGPOINT=y CONFIG_NOPRINTF_FIELDWIDTH=n # @@ -113,6 +114,7 @@ CONFIG_ARCH_STRCPY=y CONFIG_ARCH_STRNCPY=y CONFIG_ARCH_STRLEN=y CONFIG_ARCH_STRNLEN=y +CONFIG_ARCH_STRCHR=y CONFIG_ARCH_BZERO=n CONFIG_ARCH_MATH_H=y CONFIG_ARCH_STDINT_H=y @@ -124,6 +126,7 @@ CONFIG_ARCH_STDBOOL_H=y CONFIG_RRLOAD_BINARY=n CONFIG_INTELHEX_BINARY=n CONFIG_RAW_BINARY=n +CONFIG_HAVE_LIBM=n # # Sizes of configurable things (0 disables) |