2 Commits

Author	SHA1	Message	Date
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