# HG changeset patch
# User TomW
# Date 1406099735 -3600
# Node ID ffe477b4639fd82995e4021f4a1406ce619d9715
# Parent  24b744b9a6324054d933f857905bad9f0e882339
Added missing thread.h.

diff -r 24b744b9a632 -r ffe477b4639f src/thread.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/thread.h	Wed Jul 23 08:15:35 2014 +0100
@@ -0,0 +1,12 @@
+typedef void thread_t;
+thread_t *thread_create(void (*thread_rout)(void *param), void *param);
+void thread_kill(thread_t *handle);
+
+typedef void event_t;
+event_t *thread_create_event();
+void thread_set_event(event_t *event);
+void thread_reset_event(event_t *_event);
+int thread_wait_event(event_t *event, int timeout);
+void thread_destroy_event(event_t *_event);
+
+void thread_sleep(int t);