diff options
Diffstat (limited to 'nuttx/configs/pjrc-8051/defconfig')
| -rw-r--r-- | nuttx/configs/pjrc-8051/defconfig | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/nuttx/configs/pjrc-8051/defconfig b/nuttx/configs/pjrc-8051/defconfig index fd2965129..e10a6d540 100644 --- a/nuttx/configs/pjrc-8051/defconfig +++ b/nuttx/configs/pjrc-8051/defconfig @@ -83,6 +83,16 @@ CONFIG_INTERRUPT_FRAME_DUMP=n CONFIG_LED_DEBUG=n # +# 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=n +CONFIG_HAVE_LIBM=n + +# # General OS setup # # CONFIG_EXAMPLE - identifies the subdirectory in examples @@ -179,14 +189,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=n - -# # Sizes of configurable things (0 disables) # # CONFIG_MAX_TASKS - The maximum number of simultaneously |