Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision aed3f54d12363aaa409e62e26dd7835d4eea23dc)
+++ src/libcfa/concurrency/kernel	(revision c49bf5465f82b0c5b63b5ce37d376ccc54de7b56)
@@ -0,0 +1,29 @@
+//                              -*- Mode: CFA -*-
+//
+// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// threads --
+//
+// Author           : Thierry Delisle
+// Created On       : Tue Jan 17 12:27:26 2016
+// Last Modified By : Thierry Delisle
+// Last Modified On : --
+// Update Count     : 0
+//
+
+#ifndef KERNEL_H
+#define KERNEL_H
+
+extern struct thread_h * the_thread;
+
+void kernel_run( void );
+
+#endif //KERNEL_H
+
+// Local Variables: //
+// mode: c //
+// tab-width: 4 //
+// End: //