From 1bfc0da258adf4dc3ab577df81a87026c4373454 Mon Sep 17 00:00:00 2001 From: Julian Oes Date: Wed, 4 Feb 2026 10:46:36 +1300 Subject: [PATCH] [Sponsored by CubePilot] Get CI to pass all boards (#26402) * kakutef7: try to save more flash --- boards/auterion/fmu-v6x/zenoh.px4board | 2 ++ .../kakutef7/nuttx-config/nsh/defconfig | 24 +++++++++---------- 2 files changed, 14 insertions(+), 12 deletions(-) diff --git a/boards/auterion/fmu-v6x/zenoh.px4board b/boards/auterion/fmu-v6x/zenoh.px4board index cb14fde935..6827430786 100644 --- a/boards/auterion/fmu-v6x/zenoh.px4board +++ b/boards/auterion/fmu-v6x/zenoh.px4board @@ -1,4 +1,6 @@ # CONFIG_BOARD_UAVCAN_TIMER_OVERRIDE is not set CONFIG_DRIVERS_UAVCAN=n CONFIG_MODULES_UXRCE_DDS_CLIENT=n +CONFIG_SYSTEMCMDS_SD_BENCH=n +CONFIG_SYSTEMCMDS_I2CDETECT=n CONFIG_MODULES_ZENOH=y diff --git a/boards/holybro/kakutef7/nuttx-config/nsh/defconfig b/boards/holybro/kakutef7/nuttx-config/nsh/defconfig index 88d57ea784..feb176891d 100644 --- a/boards/holybro/kakutef7/nuttx-config/nsh/defconfig +++ b/boards/holybro/kakutef7/nuttx-config/nsh/defconfig @@ -16,36 +16,36 @@ # CONFIG_NSH_DISABLE_CAT is not set # CONFIG_NSH_DISABLE_CD is not set # CONFIG_NSH_DISABLE_CP is not set -# CONFIG_NSH_DISABLE_DATE is not set -# CONFIG_NSH_DISABLE_DF is not set +CONFIG_NSH_DISABLE_DATE=y +CONFIG_NSH_DISABLE_DF=y # CONFIG_NSH_DISABLE_ECHO is not set # CONFIG_NSH_DISABLE_ENV is not set # CONFIG_NSH_DISABLE_EXEC is not set # CONFIG_NSH_DISABLE_EXIT is not set -# CONFIG_NSH_DISABLE_EXPORT is not set -# CONFIG_NSH_DISABLE_FREE is not set -# CONFIG_NSH_DISABLE_GET is not set +CONFIG_NSH_DISABLE_EXPORT=y +CONFIG_NSH_DISABLE_FREE=y +CONFIG_NSH_DISABLE_GET=y # CONFIG_NSH_DISABLE_HELP is not set # CONFIG_NSH_DISABLE_ITEF is not set # CONFIG_NSH_DISABLE_KILL is not set # CONFIG_NSH_DISABLE_LOOPS is not set # CONFIG_NSH_DISABLE_LS is not set -# CONFIG_NSH_DISABLE_MKDIR is not set +CONFIG_NSH_DISABLE_MKDIR=y # CONFIG_NSH_DISABLE_MKFATFS is not set # CONFIG_NSH_DISABLE_MOUNT is not set # CONFIG_NSH_DISABLE_MV is not set -# CONFIG_NSH_DISABLE_PRINTF is not set -# CONFIG_NSH_DISABLE_PS is not set -# CONFIG_NSH_DISABLE_PSSTACKUSAGE is not set -# CONFIG_NSH_DISABLE_PWD is not set +CONFIG_NSH_DISABLE_PRINTF=y +CONFIG_NSH_DISABLE_PS=y +CONFIG_NSH_DISABLE_PSSTACKUSAGE=y +CONFIG_NSH_DISABLE_PWD=y # CONFIG_NSH_DISABLE_RM is not set -# CONFIG_NSH_DISABLE_RMDIR is not set +CONFIG_NSH_DISABLE_RMDIR=y # CONFIG_NSH_DISABLE_SEMICOLON is not set # CONFIG_NSH_DISABLE_SET is not set # CONFIG_NSH_DISABLE_SLEEP is not set # CONFIG_NSH_DISABLE_SOURCE is not set # CONFIG_NSH_DISABLE_TEST is not set -# CONFIG_NSH_DISABLE_TIME is not set +CONFIG_NSH_DISABLE_TIME=y # CONFIG_NSH_DISABLE_UMOUNT is not set # CONFIG_NSH_DISABLE_UNSET is not set # CONFIG_NSH_DISABLE_USLEEP is not set