mirror of
https://github.com/PX4/PX4-Autopilot.git
synced 2026-07-24 15:27:41 +08:00
225c1b70ef
The per-channel send mutex is genuinely recursive: callers hold lock_send() while the MAVLink C library re-enters send_start()/send_finish() on the same mutex via MAVLINK_START_UART_SEND. On NuttX a recursive mutex only works with CONFIG_PTHREAD_MUTEX_TYPES; without it pthread_mutexattr_settype() is a no-op and the nested lock deadlocks. Only a handful of boards happened to enable the option (for Zenoh), so mavlink could deadlock at startup on most boards, e.g. when bringing up a USB link. Enable CONFIG_PTHREAD_MUTEX_TYPES on the NuttX boards that build mavlink, add a compile-time guard so a board missing the option fails the build loudly instead of deadlocking silently, and check the settype() return. Enabling the option is free in flash and RAM on these boards since they already enable CONFIG_PRIORITY_INHERITANCE / CONFIG_PTHREAD_MUTEX_ROBUST. Signed-off-by: Julian Oes <julian@oes.ch>
247 lines
6.8 KiB
Plaintext
247 lines
6.8 KiB
Plaintext
#
|
|
# 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_DEV_CONSOLE is not set
|
|
# CONFIG_DISABLE_ENVIRON is not set
|
|
# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
|
|
# CONFIG_DISABLE_PTHREAD is not set
|
|
# CONFIG_MMCSD_HAVE_CARDDETECT is not set
|
|
# CONFIG_MMCSD_HAVE_WRITEPROTECT is not set
|
|
# CONFIG_MMCSD_MMCSUPPORT is not set
|
|
# CONFIG_MMCSD_SPI is not set
|
|
# CONFIG_NSH_DISABLEBG is not set
|
|
# CONFIG_NSH_DISABLESCRIPT is not set
|
|
# 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_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_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_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_RM is not set
|
|
# CONFIG_NSH_DISABLE_RMDIR is not set
|
|
# 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_UMOUNT is not set
|
|
# CONFIG_NSH_DISABLE_UNSET is not set
|
|
# CONFIG_NSH_DISABLE_USLEEP is not set
|
|
CONFIG_ARCH="arm"
|
|
CONFIG_ARCH_BOARD_CUSTOM=y
|
|
CONFIG_ARCH_BOARD_CUSTOM_DIR="../../../../boards/micoair/h743-aio/nuttx-config"
|
|
CONFIG_ARCH_BOARD_CUSTOM_DIR_RELPATH=y
|
|
CONFIG_ARCH_BOARD_CUSTOM_NAME="px4"
|
|
CONFIG_ARCH_CHIP="stm32h7"
|
|
CONFIG_ARCH_CHIP_STM32H743VI=y
|
|
CONFIG_ARCH_CHIP_STM32H7=y
|
|
CONFIG_ARCH_INTERRUPTSTACK=768
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_ARMV7M_BASEPRI_WAR=y
|
|
CONFIG_ARMV7M_DCACHE=y
|
|
CONFIG_ARMV7M_DTCM=y
|
|
CONFIG_ARMV7M_ICACHE=y
|
|
CONFIG_ARMV7M_MEMCPY=y
|
|
CONFIG_ARMV7M_USEBASEPRI=y
|
|
CONFIG_BOARDCTL_RESET=y
|
|
CONFIG_BOARD_ASSERT_RESET_VALUE=0
|
|
CONFIG_BOARD_CRASHDUMP=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=95150
|
|
CONFIG_BOARD_RESET_ON_ASSERT=2
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_CDCACM=y
|
|
CONFIG_CDCACM_IFLOWCONTROL=y
|
|
CONFIG_CDCACM_PRODUCTID=0x0036
|
|
CONFIG_CDCACM_PRODUCTSTR="MicoAir743AIO"
|
|
CONFIG_CDCACM_RXBUFSIZE=6000
|
|
CONFIG_CDCACM_TXBUFSIZE=12000
|
|
CONFIG_CDCACM_VENDORID=0x1B8C
|
|
CONFIG_CDCACM_VENDORSTR="MicoAir"
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_HARDFAULT_ALERT=y
|
|
CONFIG_DEBUG_MEMFAULT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_DEFAULT_SMALL=y
|
|
CONFIG_DEV_FIFO_SIZE=0
|
|
CONFIG_DEV_PIPE_MAXSIZE=1024
|
|
CONFIG_DEV_PIPE_SIZE=70
|
|
CONFIG_EXPERIMENTAL=y
|
|
CONFIG_FAT_DMAMEMORY=y
|
|
CONFIG_FAT_LCNAMES=y
|
|
CONFIG_FAT_LFN=y
|
|
CONFIG_FAT_LFN_ALIAS_HASH=y
|
|
CONFIG_FDCLONE_STDIO=y
|
|
CONFIG_FS_BINFS=y
|
|
CONFIG_FS_CROMFS=y
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_FATTIME=y
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_FS_PROCFS_INCLUDE_PROGMEM=y
|
|
CONFIG_FS_PROCFS_MAX_TASKS=64
|
|
CONFIG_FS_PROCFS_REGISTER=y
|
|
CONFIG_FS_ROMFS=y
|
|
CONFIG_GRAN=y
|
|
CONFIG_GRAN_INTR=y
|
|
CONFIG_HAVE_CXX=y
|
|
CONFIG_HAVE_CXXINITIALIZE=y
|
|
CONFIG_I2C=y
|
|
CONFIG_I2C_RESET=y
|
|
CONFIG_IDLETHREAD_STACKSIZE=750
|
|
CONFIG_INIT_ENTRYPOINT="nsh_main"
|
|
CONFIG_INIT_STACKSIZE=3194
|
|
CONFIG_IOB_NBUFFERS=24
|
|
CONFIG_IOB_NCHAINS=24
|
|
CONFIG_LIBC_FLOATINGPOINT=y
|
|
CONFIG_LIBC_LONG_LONG=y
|
|
CONFIG_LIBC_MAX_EXITFUNS=1
|
|
CONFIG_LIBC_STRERROR=y
|
|
CONFIG_MEMSET_64BIT=y
|
|
CONFIG_MEMSET_OPTSPEED=y
|
|
CONFIG_MMCSD=y
|
|
CONFIG_MMCSD_SDIO=y
|
|
CONFIG_MMCSD_SDIOWAIT_WRCOMPLETE=y
|
|
CONFIG_MM_IOB=y
|
|
CONFIG_MM_REGIONS=4
|
|
CONFIG_NAME_MAX=40
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_ARGCAT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_CMDPARMS=y
|
|
CONFIG_NSH_CROMFSETC=y
|
|
CONFIG_NSH_LINELEN=128
|
|
CONFIG_NSH_MAXARGUMENTS=15
|
|
CONFIG_NSH_NESTDEPTH=8
|
|
CONFIG_NSH_QUOTE=y
|
|
CONFIG_NSH_ROMFSETC=y
|
|
CONFIG_NSH_ROMFSSECTSIZE=128
|
|
CONFIG_NSH_STRERROR=y
|
|
CONFIG_NSH_VARS=y
|
|
CONFIG_OTG_ID_GPIO_DISABLE=y
|
|
CONFIG_PIPES=y
|
|
CONFIG_PREALLOC_TIMERS=50
|
|
CONFIG_PRIORITY_INHERITANCE=y
|
|
CONFIG_PTHREAD_MUTEX_ROBUST=y
|
|
CONFIG_PTHREAD_MUTEX_TYPES=y
|
|
CONFIG_PTHREAD_STACK_MIN=512
|
|
CONFIG_RAM_SIZE=245760
|
|
CONFIG_RAM_START=0x20010000
|
|
CONFIG_RAW_BINARY=y
|
|
CONFIG_RTC_DATETIME=y
|
|
CONFIG_SCHED_HPWORK=y
|
|
CONFIG_SCHED_HPWORKPRIORITY=249
|
|
CONFIG_SCHED_HPWORKSTACKSIZE=1280
|
|
CONFIG_SCHED_INSTRUMENTATION=y
|
|
CONFIG_SCHED_INSTRUMENTATION_EXTERNAL=y
|
|
CONFIG_SCHED_INSTRUMENTATION_SWITCH=y
|
|
CONFIG_SCHED_LPWORK=y
|
|
CONFIG_SCHED_LPWORKPRIORITY=50
|
|
CONFIG_SCHED_LPWORKSTACKSIZE=1632
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SDMMC1_SDIO_PULLUP=y
|
|
CONFIG_SEM_PREALLOCHOLDERS=32
|
|
CONFIG_SERIAL_TERMIOS=y
|
|
CONFIG_SIG_DEFAULT=y
|
|
CONFIG_SIG_SIGALRM_ACTION=y
|
|
CONFIG_SIG_SIGUSR1_ACTION=y
|
|
CONFIG_SIG_SIGUSR2_ACTION=y
|
|
CONFIG_SIG_SIGWORK=4
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_DAY=30
|
|
CONFIG_START_MONTH=11
|
|
CONFIG_STDIO_BUFFER_SIZE=256
|
|
CONFIG_STM32H7_ADC1=y
|
|
CONFIG_STM32H7_ADC3=y
|
|
CONFIG_STM32H7_BBSRAM=y
|
|
CONFIG_STM32H7_BBSRAM_FILES=5
|
|
CONFIG_STM32H7_BDMA=y
|
|
CONFIG_STM32H7_BKPSRAM=y
|
|
CONFIG_STM32H7_DMA1=y
|
|
CONFIG_STM32H7_DMA2=y
|
|
CONFIG_STM32H7_DMACAPABLE=y
|
|
CONFIG_STM32H7_FLASH_OVERRIDE_I=y
|
|
CONFIG_STM32H7_I2C1=y
|
|
CONFIG_STM32H7_I2C2=y
|
|
CONFIG_STM32H7_I2C_DYNTIMEO=y
|
|
CONFIG_STM32H7_I2C_DYNTIMEO_STARTSTOP=10
|
|
CONFIG_STM32H7_OTGFS=y
|
|
CONFIG_STM32H7_PROGMEM=y
|
|
CONFIG_STM32H7_RTC=y
|
|
CONFIG_STM32H7_RTC_HSECLOCK=y
|
|
CONFIG_STM32H7_RTC_MAGIC_REG=1
|
|
CONFIG_STM32H7_SAVE_CRASHDUMP=y
|
|
CONFIG_STM32H7_SDMMC1=y
|
|
CONFIG_STM32H7_SERIALBRK_BSDCOMPAT=y
|
|
CONFIG_STM32H7_SERIAL_DISABLE_REORDERING=y
|
|
CONFIG_STM32H7_SPI2=y
|
|
CONFIG_STM32H7_SPI2_DMA=y
|
|
CONFIG_STM32H7_SPI2_DMA_BUFFER=4096
|
|
CONFIG_STM32H7_SPI_DMATHRESHOLD=8
|
|
CONFIG_STM32H7_TIM1=y
|
|
CONFIG_STM32H7_TIM3=y
|
|
CONFIG_STM32H7_TIM4=y
|
|
CONFIG_STM32H7_TIM8=y
|
|
CONFIG_STM32H7_UART4=y
|
|
CONFIG_STM32H7_UART7=y
|
|
CONFIG_STM32H7_UART8=y
|
|
CONFIG_STM32H7_USART1=y
|
|
CONFIG_STM32H7_USART2=y
|
|
CONFIG_STM32H7_USART3=y
|
|
CONFIG_STM32H7_USART6=y
|
|
CONFIG_STM32H7_USART_BREAKS=y
|
|
CONFIG_STM32H7_USART_INVERT=y
|
|
CONFIG_STM32H7_USART_SINGLEWIRE=y
|
|
CONFIG_STM32H7_USART_SWAP=y
|
|
CONFIG_SYSTEM_CDCACM=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_TASK_NAME_SIZE=24
|
|
CONFIG_UART4_BAUD=57600
|
|
CONFIG_UART4_RXBUFSIZE=600
|
|
CONFIG_UART4_TXBUFSIZE=1500
|
|
CONFIG_UART7_BAUD=57600
|
|
CONFIG_UART7_RXBUFSIZE=600
|
|
CONFIG_UART7_TXBUFSIZE=1500
|
|
CONFIG_UART8_BAUD=57600
|
|
CONFIG_UART8_RXBUFSIZE=600
|
|
CONFIG_UART8_TXBUFSIZE=1500
|
|
CONFIG_USART1_BAUD=57600
|
|
CONFIG_USART1_RXBUFSIZE=600
|
|
CONFIG_USART1_TXBUFSIZE=1500
|
|
CONFIG_USART2_BAUD=57600
|
|
CONFIG_USART2_RXBUFSIZE=600
|
|
CONFIG_USART2_TXBUFSIZE=1500
|
|
CONFIG_USART3_BAUD=57600
|
|
CONFIG_USART3_RXBUFSIZE=600
|
|
CONFIG_USART3_TXBUFSIZE=1500
|
|
CONFIG_USART6_BAUD=57600
|
|
CONFIG_USART6_RXBUFSIZE=600
|
|
CONFIG_USART6_TXBUFSIZE=1500
|
|
CONFIG_USBDEV=y
|
|
CONFIG_USBDEV_BUSPOWERED=y
|
|
CONFIG_USBDEV_MAXPOWER=500
|
|
CONFIG_USEC_PER_TICK=1000
|
|
CONFIG_WATCHDOG=y
|