Gregory Nutt e46cd30c14 Change use of mknulldeps.sh to mkwindeps.sh		2016-01-09 14:13:44 -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	Change use of mknulldeps.sh to mkwindeps.sh	2016-01-09 14:13:44 -06:00