Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Merged in w8jcik/nuttx/w8jcik/option-to-enable-memory-card-debug-outpu-1488183957218 (pull request #224) Kconfig: memory card debug output without SDIO Approved-by: Gregory Nutt