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