POSIX API extensions

src/platforms/px4_posix.h

@@ -169,4 +169,14 @@ __EXPORT const char 	*px4_get_device_names(unsigned int *handle);
 
 __EXPORT void		px4_show_topics(void);
 __EXPORT const char 	*px4_get_topic_names(unsigned int *handle);
+
+#ifndef __PX4_QURT
+/*
+ * The UNIX epoch system time following the system clock
+ */
+__EXPORT unsigned long long	hrt_system_time(void);
+
+__EXPORT bool			px4_exit_requested(void);
+#endif
+
 __END_DECLS