4 Commits

Author	SHA1	Message	Date
Gregory Nutt	62231a28e9	Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL	2014-08-29 14:47:22 -06:00
Gregory Nutt	ab5b37189b	More trailing whilespace removal	2014-04-13 16:22:22 -06:00
Gregory Nutt	c51659a8df	Fix cloned typo in user space definition	2013-12-27 10:31:37 -06:00
Gregory Nutt	627eebdd4b	Add kernel build support and a kernel most OS test example for the Mikroe STM32 M4 board. From Ken Pettit	2013-05-17 14:59:21 -06:00