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	-1/+1
*	More logic to use BASEPRI to control interrupts -- still doesn't work	patacongo	2013-01-22	1	-1/+5
*	Incoporate (more) new ARMv7-M exception handling logic contributed by Mike Smith	patacongo	2012-02-22	1	-0/+182