nuttx/configs/stm32f769i-disco/kernel/.gitignore