implement bkl

+ Start out using big kernel lock, apparently seL4 thinks its good
  enough. I might have a go at using a more fair lock, and possibly
  moving to more fine-grained locks if I really feel the need to get
  scalability up.

1 files changed, 3 insertions, 0 deletions

diff --git a/src/bkl.c b/src/bkl.c
new file mode 100644
index 0000000..6dc120f
--- /dev/null
+++ b/src/bkl.c
@@ -0,0 +1,3 @@
+#include <kmi/lock.h>
+
+spinlock_t bkl = 0;