Gregory Nutt 004f4b8896 All bash scripts should be marked executable		2016-01-15 07:54:27 -06:00
..
defconfig	Rename CONFIG_ARMV7M_MPU to CONFIG_ARM_MPU so that we can reuse the configuration settings for the ARMV7R MPU	2015-12-14 13:56:56 -06:00
Make.defs	All bash scripts should be marked executable	2016-01-15 07:54:27 -06:00
setenv.sh	Fix references to the no-longer-existent misc/ directory in comments, README files, and documentation	2015-06-28 08:08:57 -06:00