Gregory Nutt 615c0ea7ee Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.		2019-08-05 07:13:48 -06:00
..
include	Squashed commit of the following:	2019-04-29 14:52:05 -06:00
src	Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.	2019-08-05 07:13:48 -06:00
Kconfig	Kconfig files: Fix several errors noted by Alex Denisov in Bitbucket issue 115.	2018-08-05 10:48:02 -06:00