Merge pull request #60 in SEL4/sel4_libs from ~ALYONS/sel4_libs:tcb to master

* commit '6fc6d4fb97073087a32fd8dc8df158a778fc9bbf':
  sel4utils: put tcb cap in new process cspace

libsel4bench/arch_include/arm/sel4bench/arch/sel4bench_private_arm1136.h

diff --git a/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench_private_arm1136.h b/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench_private_arm1136.h
index 3753f20..1ee5601 100644
--- a/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench_private_arm1136.h
+++ b/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench_private_arm1136.h
@@ -11,6 +11,7 @@
 #ifndef __SEL4BENCH_PRIVATE_H__
 #define __SEL4BENCH_PRIVATE_H__
 
+#include <stdint.h>
 #include "sel4bench_events_arm1136.h"
 
 //function attributes