Gregory Nutt 0f5dc2fc65 Various changes/fixes to get configs/stm32f4discovery/kostest working after the big configuration renaming (and after a long period of bit rot)		2014-08-29 16:23:46 -06:00
..
include	Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL	2014-08-29 14:47:22 -06:00
src	Various changes/fixes to get configs/stm32f4discovery/kostest working after the big configuration renaming (and after a long period of bit rot)	2014-08-29 16:23:46 -06:00
Kconfig	Some initial clean-up in verifying the CONFIG_BUILD_PROTECTED configuration change	2014-08-29 15:07:35 -06:00