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	-4/+4
*	All files and functions beginning with lm_ changed to tiva_	Gregory Nutt	2014-03-08	1	-0/+192