# CONFIG_BOARD_UAVCAN_TIMER_OVERRIDE is not set
CONFIG_MODULES_UXRCE_DDS_CLIENT=n
CONFIG_BOARD_CONSTRAINED_FLASH=y
CONFIG_BOARD_CONSTRAINED_MEMORY=y
CONFIG_MODULES_ZENOH=y