PX4/NuttX — pull request #4 by LorenzMeier (2013-08-14 10:51:46+00:00)
Title: Pull more PX4-specific code from the NuttX tree.

This cleans up our KConfig setup.