diff options
Diffstat (limited to 'nuttx/configs/rgmp/arm/default/defconfig')
| -rw-r--r-- | nuttx/configs/rgmp/arm/default/defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nuttx/configs/rgmp/arm/default/defconfig b/nuttx/configs/rgmp/arm/default/defconfig index 3272bf6dc..548fb648c 100644 --- a/nuttx/configs/rgmp/arm/default/defconfig +++ b/nuttx/configs/rgmp/arm/default/defconfig @@ -159,7 +159,6 @@ CONFIG_SDCLONE_DISABLE=y # CONFIG_SCHED_ONEXIT is not set CONFIG_USER_ENTRYPOINT="rgmp_main" CONFIG_DISABLE_OS_API=y -# CONFIG_DISABLE_CLOCK is not set # CONFIG_DISABLE_POSIX_TIMERS is not set # CONFIG_DISABLE_PTHREAD is not set # CONFIG_DISABLE_SIGNALS is not set |