This is an automated email from the ASF dual-hosted git repository. lupyuen pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/nuttx.git
commit 1b5c68fdfce796a4599d583028d5814b7b4a540c Author: Matteo Golin <[email protected]> AuthorDate: Sat May 30 14:03:43 2026 -0400 boards/raspberrypi-4b: Add NXInit configuration This commit adds a configuration which uses the new "NXInit" to start up the board and the NSH shell. The `init.rc` file is pulled from the SD card, allowing users to create their own. Signed-off-by: Matteo Golin <[email protected]> --- .../raspberrypi-4b/configs/nxinit/defconfig | 74 ++++++++++++++++++++++ 1 file changed, 74 insertions(+) diff --git a/boards/arm64/bcm2711/raspberrypi-4b/configs/nxinit/defconfig b/boards/arm64/bcm2711/raspberrypi-4b/configs/nxinit/defconfig new file mode 100644 index 00000000000..857a1faa08f --- /dev/null +++ b/boards/arm64/bcm2711/raspberrypi-4b/configs/nxinit/defconfig @@ -0,0 +1,74 @@ +# +# This file is autogenerated: PLEASE DO NOT EDIT IT. +# +# You can use "make menuconfig" to make any modifications to the installed .config file. +# You can then do "make savedefconfig" to generate a new defconfig file that includes your +# modifications. +# +# CONFIG_NDEBUG is not set +CONFIG_ALLOW_BSD_COMPONENTS=y +CONFIG_ARCH="arm64" +CONFIG_ARCH_ARM64=y +CONFIG_ARCH_BOARD="raspberrypi-4b" +CONFIG_ARCH_BOARD_RASPBERRYPI_4B=y +CONFIG_ARCH_CHIP="bcm2711" +CONFIG_ARCH_CHIP_BCM2711=y +CONFIG_ARCH_EARLY_PRINT=y +CONFIG_ARCH_INTERRUPTSTACK=4096 +CONFIG_ARCH_IRQPRIO=y +CONFIG_BCM2711_EMMC2=y +CONFIG_BCM2711_EMMC=y +CONFIG_BOARD_LOOPSPERMSEC=132954 +CONFIG_BUILTIN=y +CONFIG_DEBUG_FULLOPT=y +CONFIG_DEBUG_SYMBOLS=y +CONFIG_DEFAULT_TASK_STACKSIZE=8192 +CONFIG_EXPERIMENTAL=y +CONFIG_FAT_LCNAMES=y +CONFIG_FAT_LFN=y +CONFIG_FS_FAT=y +CONFIG_FS_FATTIME=y +CONFIG_FS_PROCFS=y +CONFIG_FS_ROMFS=y +CONFIG_HAVE_CXX=y +CONFIG_HAVE_CXXINITIALIZE=y +CONFIG_IDLETHREAD_STACKSIZE=8192 +CONFIG_INIT_ENTRYPOINT="init_main" +CONFIG_INTELHEX_BINARY=y +CONFIG_LIBC_EXECFUNCS=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 +CONFIG_RAM_SIZE=4227858432 +CONFIG_RAM_START=0x00000000 +CONFIG_RAW_BINARY=y +CONFIG_READLINE_CMD_HISTORY=y +CONFIG_RPI4B_MOUNT_BOOT=y +CONFIG_RPI4B_SDMMC=y +CONFIG_RR_INTERVAL=200 +CONFIG_SCHED_CHILD_STATUS=y +CONFIG_SCHED_HAVE_PARENT=y +CONFIG_SCHED_HPWORK=y +CONFIG_SCHED_HPWORKPRIORITY=192 +CONFIG_SPINLOCK=y +CONFIG_STACK_COLORATION=y +CONFIG_START_MONTH=11 +CONFIG_START_YEAR=2022 +CONFIG_SYMTAB_ORDEREDBYNAME=y +CONFIG_SYSLOG_BUFFER=y +CONFIG_SYSLOG_BUFSIZE=128 +CONFIG_SYSLOG_INTBUFFER=y +CONFIG_SYSLOG_TIMESTAMP=y +CONFIG_SYSTEM_NSH=y +CONFIG_SYSTEM_NXINIT=y +CONFIG_SYSTEM_NXINIT_RC_FILE_PATH="/sd/init.rc" +CONFIG_SYSTEM_SYSTEM=y +CONFIG_TESTING_GETPRIME=y +CONFIG_TESTING_OSTEST=y +CONFIG_TESTING_SD_STRESS=y +CONFIG_TESTING_SD_STRESS_DEVICE="/sd" +CONFIG_USEC_PER_TICK=1000 +CONFIG_USERLED=y
