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