nuttx - Port of the Nuttx operating system (http://www.nuttx.org/) to the Kinetis K20 architecture.

	Commit message (Expand)	Author	Age	Files	Lines
*	Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new...	Gregory Nutt	2014-08-29	1	-2/+2
*	Rework of kernel build signal dispatch to user-space handlers	patacongo	2013-03-23	1	-0/+115