nuttx/configs/stm32f334-disco/buckboost
..
defconfig