Retrieve list of boards

Based mostly on nuttx/boards/Kconfig.
It offers Kconfig descriptions, and mappings from board name to Kconfig key.

  • Retrieve ARCH_BOARD_* entries, maybe from already generated configuration.
  • Retrieve the mapping between board name and Kconfig key.
  • Check if nuttx/boards/README.txt contains different information.
  • Parse nuttx/boards/README.txt and report missing documentation entries/boards.
Edited by Maciej Wójcik