PX4 general work queue

platforms/nuttx/src/px4_layer/CMakeLists.txt

@@ -44,6 +44,7 @@ if (NOT ${PX4_BOARD} MATCHES "px4_io")
 			nuttx_apps # up_cxxinitialize
 			nuttx_sched
 			drivers_boards_common_arch
+			px4_work_queue
 		)
 else()
 	add_library(px4_layer ${PX4_SOURCE_DIR}/src/platforms/empty.c)

platforms/nuttx/src/px4_layer/px4_init.cpp

@@ -37,6 +37,7 @@
 #include <px4_defines.h>
 #include <drivers/drv_hrt.h>
 #include <lib/parameters/param.h>
+#include <px4_work_queue/WorkQueueManager.hpp>
 #include <systemlib/cpuload.h>
 
 #include <fcntl.h>
@@ -104,5 +105,7 @@ int px4_platform_init(void)
 	cpuload_initialize_once();
 #endif
 
+	px4::WorkQueueManagerStart();
+
 	return PX4_OK;
 }