From f0eafa60c9456481992840990de9a21dfacafae3 Mon Sep 17 00:00:00 2001
From: TomW <TomW@localhost>
Date: Wed, 23 Jul 2014 08:15:35 +0100
Subject: [PATCH] Added missing thread.h.

---
 src/thread.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/thread.h

diff --git a/src/thread.h b/src/thread.h
new file mode 100644
index 0000000..fb47f28
--- /dev/null
+++ b/src/thread.h
@@ -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);