This is an automated email from the ASF dual-hosted git repository. xiaoxiang pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/nuttx.git
commit cdf5118b62fa70b5f0f2673d0228dd6164669260 Author: Matteo Golin <[email protected]> AuthorDate: Mon Jan 5 16:00:01 2026 -0500 boards/raspberrypi-4b: Add testing configurations Adds ostest and coremark configurations. Also removed LED example from regular NSH example. Signed-off-by: Matteo Golin <[email protected]> --- .../configs/{nsh => coremark}/defconfig | 21 +++++++-------------- .../bcm2711/raspberrypi-4b/configs/nsh/defconfig | 1 - .../configs/{nsh => ostest}/defconfig | 20 +++++++------------- 3 files changed, 14 insertions(+), 28 deletions(-) diff --git a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig b/boards/arm64/bcm2711/raspberrypi-4b/configs/coremark/defconfig similarity index 78% copy from boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig copy to boards/arm64/bcm2711/raspberrypi-4b/configs/coremark/defconfig index df606c24f72..a54ebd41451 100644 --- a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig +++ b/boards/arm64/bcm2711/raspberrypi-4b/configs/coremark/defconfig @@ -5,6 +5,7 @@ # You can then do "make savedefconfig" to generate a new defconfig file that includes your # modifications. # +# CONFIG_SYSTEM_DD is not set CONFIG_ARCH="arm64" CONFIG_ARCH_ARM64=y CONFIG_ARCH_BOARD="raspberrypi-4b" @@ -13,30 +14,24 @@ CONFIG_ARCH_CHIP="bcm2711" CONFIG_ARCH_CHIP_BCM2711=y CONFIG_ARCH_EARLY_PRINT=y CONFIG_ARCH_INTERRUPTSTACK=4096 +CONFIG_BENCHMARK_COREMARK=y +CONFIG_BOARDCTL=y +CONFIG_BOARDCTL_MKRD=y CONFIG_BOARD_LOOPSPERMSEC=132954 CONFIG_BUILTIN=y CONFIG_DEBUG_ASSERTIONS=y CONFIG_DEBUG_FEATURES=y CONFIG_DEBUG_FULLOPT=y -CONFIG_DEBUG_SCHED=y -CONFIG_DEBUG_SCHED_ERROR=y -CONFIG_DEBUG_SCHED_WARN=y CONFIG_DEBUG_SYMBOLS=y CONFIG_DEFAULT_TASK_STACKSIZE=8192 -CONFIG_EXAMPLES_HELLO=y -CONFIG_EXAMPLES_LEDS=y CONFIG_EXPERIMENTAL=y CONFIG_FS_PROCFS=y CONFIG_FS_ROMFS=y CONFIG_HAVE_CXX=y CONFIG_HAVE_CXXINITIALIZE=y CONFIG_IDLETHREAD_STACKSIZE=8192 -CONFIG_INIT_ENTRYPOINT="nsh_main" +CONFIG_INIT_ENTRYPOINT="coremark_main" CONFIG_INTELHEX_BINARY=y -CONFIG_NSH_ARCHINIT=y -CONFIG_NSH_BUILTIN_APPS=y -CONFIG_NSH_FILEIOSIZE=512 -CONFIG_NSH_READLINE=y CONFIG_PREALLOC_TIMERS=4 CONFIG_PTHREAD_STACK_MIN=8192 CONFIG_RAMLOG=y @@ -47,15 +42,13 @@ CONFIG_READLINE_CMD_HISTORY=y CONFIG_RR_INTERVAL=200 CONFIG_SCHED_HPWORK=y CONFIG_SCHED_HPWORKPRIORITY=192 +CONFIG_SCHED_WAITPID=y CONFIG_SPINLOCK=y CONFIG_STACK_COLORATION=y CONFIG_START_MONTH=11 CONFIG_START_YEAR=2022 CONFIG_SYMTAB_ORDEREDBYNAME=y -CONFIG_SYSTEM_NSH=y -CONFIG_SYSTEM_SYSTEM=y +CONFIG_SYSTEM_READLINE=y CONFIG_SYSTEM_TIME64=y -CONFIG_TESTING_GETPRIME=y -CONFIG_TESTING_OSTEST=y CONFIG_USEC_PER_TICK=1000 CONFIG_USERLED=y diff --git a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig b/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig index df606c24f72..d0ddcd64efc 100644 --- a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig +++ b/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig @@ -24,7 +24,6 @@ CONFIG_DEBUG_SCHED_WARN=y CONFIG_DEBUG_SYMBOLS=y CONFIG_DEFAULT_TASK_STACKSIZE=8192 CONFIG_EXAMPLES_HELLO=y -CONFIG_EXAMPLES_LEDS=y CONFIG_EXPERIMENTAL=y CONFIG_FS_PROCFS=y CONFIG_FS_ROMFS=y diff --git a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig b/boards/arm64/bcm2711/raspberrypi-4b/configs/ostest/defconfig similarity index 80% copy from boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig copy to boards/arm64/bcm2711/raspberrypi-4b/configs/ostest/defconfig index df606c24f72..1cf924bf354 100644 --- a/boards/arm64/bcm2711/raspberrypi-4b/configs/nsh/defconfig +++ b/boards/arm64/bcm2711/raspberrypi-4b/configs/ostest/defconfig @@ -5,6 +5,7 @@ # You can then do "make savedefconfig" to generate a new defconfig file that includes your # modifications. # +# CONFIG_SYSTEM_DD is not set CONFIG_ARCH="arm64" CONFIG_ARCH_ARM64=y CONFIG_ARCH_BOARD="raspberrypi-4b" @@ -13,30 +14,23 @@ CONFIG_ARCH_CHIP="bcm2711" CONFIG_ARCH_CHIP_BCM2711=y CONFIG_ARCH_EARLY_PRINT=y CONFIG_ARCH_INTERRUPTSTACK=4096 +CONFIG_BOARDCTL=y +CONFIG_BOARDCTL_MKRD=y CONFIG_BOARD_LOOPSPERMSEC=132954 CONFIG_BUILTIN=y CONFIG_DEBUG_ASSERTIONS=y CONFIG_DEBUG_FEATURES=y CONFIG_DEBUG_FULLOPT=y -CONFIG_DEBUG_SCHED=y -CONFIG_DEBUG_SCHED_ERROR=y -CONFIG_DEBUG_SCHED_WARN=y CONFIG_DEBUG_SYMBOLS=y CONFIG_DEFAULT_TASK_STACKSIZE=8192 -CONFIG_EXAMPLES_HELLO=y -CONFIG_EXAMPLES_LEDS=y CONFIG_EXPERIMENTAL=y CONFIG_FS_PROCFS=y CONFIG_FS_ROMFS=y CONFIG_HAVE_CXX=y CONFIG_HAVE_CXXINITIALIZE=y CONFIG_IDLETHREAD_STACKSIZE=8192 -CONFIG_INIT_ENTRYPOINT="nsh_main" +CONFIG_INIT_ENTRYPOINT="ostest_main" CONFIG_INTELHEX_BINARY=y -CONFIG_NSH_ARCHINIT=y -CONFIG_NSH_BUILTIN_APPS=y -CONFIG_NSH_FILEIOSIZE=512 -CONFIG_NSH_READLINE=y CONFIG_PREALLOC_TIMERS=4 CONFIG_PTHREAD_STACK_MIN=8192 CONFIG_RAMLOG=y @@ -47,15 +41,15 @@ CONFIG_READLINE_CMD_HISTORY=y CONFIG_RR_INTERVAL=200 CONFIG_SCHED_HPWORK=y CONFIG_SCHED_HPWORKPRIORITY=192 +CONFIG_SCHED_WAITPID=y CONFIG_SPINLOCK=y CONFIG_STACK_COLORATION=y CONFIG_START_MONTH=11 CONFIG_START_YEAR=2022 CONFIG_SYMTAB_ORDEREDBYNAME=y -CONFIG_SYSTEM_NSH=y -CONFIG_SYSTEM_SYSTEM=y +CONFIG_SYSTEM_READLINE=y CONFIG_SYSTEM_TIME64=y -CONFIG_TESTING_GETPRIME=y CONFIG_TESTING_OSTEST=y +CONFIG_TESTING_OSTEST_LOOPS=5 CONFIG_USEC_PER_TICK=1000 CONFIG_USERLED=y
