# # For a description of the syntax of this configuration file, # see the file kconfig-language.txt in the NuttX tools repository. # if ARCH_BOARD_NUCLEO_G431RB choice prompt "PLL Clock source" default BOARD_NUCLEO_G431RB_USE_HSI config BOARD_NUCLEO_G431RB_USE_HSI bool "HSI" config BOARD_NUCLEO_G431RB_USE_HSE bool "HSE" endchoice if SENSORS_QENCODER config NUCLEO_G431RB_QETIMER int "Timer to use with QE encoder" default 2 endif # SENSORS_QENCODER endif # ARCH_BOARD_NUCLEO_G431RB