Linux: enabled commander module

The commander module now compiles for Linux.

state_machine_helper_linux.cpp iterates over the virtual devices vs
all devices under /dev as per NuttX when disabling publishing.

Signed-off-by: Mark Charlebois <charlebm@gmail.com>

src/platforms/px4_config.h

@@ -52,6 +52,9 @@
 /** time in ms between checks for work in work queues **/
 #define CONFIG_SCHED_WORKPERIOD 10
 
+#define CONFIG_SCHED_INSTRUMENTATION 1
+#define CONFIG_MAX_TASKS 32
+
 #define px4_errx(x, ...) errx(x, __VA_ARGS__)
 
 #endif

src/platforms/px4_posix.h

@@ -84,5 +84,6 @@ __EXPORT ssize_t	px4_write(int fd, const void *buffer, size_t buflen);
 __EXPORT int		px4_ioctl(int fd, int cmd, unsigned long arg);
 __EXPORT int		px4_poll(px4_pollfd_struct_t *fds, nfds_t nfds, int timeout);
 __EXPORT void		px4_show_devices(void);
+__EXPORT const char *	px4_get_device_names(unsigned int *handle);
 
 __END_DECLS