no libc, start on socket x11

Common/Timer/stub.c

@@ -0,0 +1,9 @@
+#include "time.h"
+#include <stdint.h>
+
+uint64_t com_timer_count_ns(void) { return 0; }
+
+void com_timer_profile(uint64_t starttime, const char *what) {
+  (void)starttime;
+  (void)what;
+}