px4-nuttx - Standard NuttX (http://nuttx.org) with current PX4 WIP patches

	Commit message (Expand)	Author	Age	Files	Lines
*	Rename SAMA5D4-EK kernel configuration to knsh for consistency with naming fo...	Gregory Nutt	2014-09-08	1	-1042/+0
*	SAMA5D4-EK kernel configurations needs support for task termination clean-up	Gregory Nutt	2014-09-06	1	-2/+5
*	Several fixes for errors introduced by last check-ins	Gregory Nutt	2014-09-06	1	-1/+3
*	SAMA5D4-EK kernel configuration now builds NSH instead of examples/elf	Gregory Nutt	2014-09-06	1	-5/+87
*	Copy more logic from nuttx/tools/Config.mk into the Make.defs file. Plus triv...	Gregory Nutt	2014-09-05	1	-2/+0
*	Add capability to perform initial board initialization on a separate worker t...	Gregory Nutt	2014-09-03	1	-0/+3
*	SAMA5D4-EK: Add logic to mount an SD card as a boot device	Gregory Nutt	2014-09-03	1	-7/+42
*	SAMA5D4-EK: Restructure initialization slightly to better support kernel mode	Gregory Nutt	2014-09-03	1	-1/+1
*	Remove final traces of the 8015 from the NuttX source tree	Gregory Nutt	2014-09-01	1	-2/+0
*	SAMA5D4-EK: Add a configuration for testing the kernel build configuration (...	Gregory Nutt	2014-08-31	1	-0/+921