Gregory Nutt
|
dfec6a0dd0
|
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:21 -06:00 |
|
Gregory Nutt
|
1c79e77811
|
ARMv7-M: Minor naming change to improve readability
|
2015-11-06 11:24:52 -06:00 |
|
Gregory Nutt
|
ae15c6963c
|
Make some file section headers more consistent with standard
|
2015-04-08 08:04:12 -06:00 |
|
Gregory Nutt
|
e11679acf8
|
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
|
2014-08-29 14:47:22 -06:00 |
|
patacongo
|
24be89c3ce
|
Add kernel build support to the STM32 family and to the STM32F4Discovery board
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5774 42af7a65-404d-4744-a932-0658087f49c3
|
2013-03-22 14:49:21 +00:00 |
|