diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-10-22 14:32:25 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-10-22 14:32:25 -0600 |
| commit | 0a6735eb59b2f7d49673a7f71dff29ef205c4f99 (patch) | |
| tree | 0d7d33a4cd0125d6d76bc8e2434d43eab7fc39d3 /nuttx/configs/Kconfig | |
| parent | 34b7967851fc7ae4adb3e46207f962abf77c7b91 (diff) | |
| download | px4-nuttx-0a6735eb59b2f7d49673a7f71dff29ef205c4f99.tar.gz px4-nuttx-0a6735eb59b2f7d49673a7f71dff29ef205c4f99.tar.bz2 px4-nuttx-0a6735eb59b2f7d49673a7f71dff29ef205c4f99.zip | |
Add README for non-existent port to the EFM32GG-STK3700; fix typos in related README files
Diffstat (limited to 'nuttx/configs/Kconfig')
| -rwxr-xr-x | nuttx/configs/Kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index 319fec307..81901a232 100755 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -7,7 +7,7 @@ choice prompt "Select target board" default ARCH_BOARD_CUSTOM ---help--- - Select the board hosting the architure. You must first select the + Select the board hosting the architecture. You must first select the exact MCU part number, then the boards supporting that part will be available for selection. Use ARCH_BOARD_CUSTOM to create a new board configuration. |