diff options
Diffstat (limited to 'nuttx/configs/c5471evm/nshconfig')
-rw-r--r-- | nuttx/configs/c5471evm/nshconfig | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/nuttx/configs/c5471evm/nshconfig b/nuttx/configs/c5471evm/nshconfig index fc611ac73..9e185994f 100644 --- a/nuttx/configs/c5471evm/nshconfig +++ b/nuttx/configs/c5471evm/nshconfig @@ -97,6 +97,16 @@ CONFIG_UART_IRDA_2STOP=0 CONFIG_UART_MODEM_2STOP=0 # +# General build options +# +# CONFIG_RRLOAD_BINARY - make the rrload binary format used with +# BSPs from www.ridgerun.com +# CONFIG_HAVE_LIBM - toolchain supports libm.a +# +CONFIG_RRLOAD_BINARY=y +CONFIG_HAVE_LIBM=n + +# # General OS setup # # CONFIG_EXAMPLE - identifies the subdirectory in examples @@ -193,14 +203,6 @@ CONFIG_ARCH_KZMALLOC=n CONFIG_ARCH_KFREE=n # -# General build options -# -# CONFIG_RRLOAD_BINARY - make the rrload binary format used with -# BSPs from www.ridgerun.com -# -CONFIG_RRLOAD_BINARY=y - -# # Sizes of configurable things (0 disables) # # CONFIG_MAX_TASKS - The maximum number of simultaneously |