From beff2e27f82c818335fba209a63149eb477e6ea3 Mon Sep 17 00:00:00 2001
From: John Marshall <John.W.Marshall@glasgow.ac.uk>
Date: Tue, 25 Apr 2017 13:54:31 +0100
Subject: [PATCH] Add missing <stdint.h> include

Fixes compilation on non-glibc platforms, e.g., FreeBSD and Alpine Linux.
---
 kthread.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kthread.c b/kthread.c
index 1b13494..780de19 100644
--- a/kthread.c
+++ b/kthread.c
@@ -1,4 +1,5 @@
 #include <pthread.h>
+#include <stdint.h>
 #include <stdlib.h>
 #include <limits.h>