Gregory Nutt c41449b12a 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
..
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