Index: kernel/generic/include/cap/cap.h
===================================================================
--- kernel/generic/include/cap/cap.h	(revision d51a0d61e43baaf646db5fd0827b7e8c89b0f4f5)
+++ kernel/generic/include/cap/cap.h	(revision c309b18982aa8ed31fd796bcd813732f5f312e6e)
@@ -36,4 +36,5 @@
 #define KERN_CAP_H_
 
+#include <abi/cap.h>
 #include <typedefs.h>
 #include <adt/list.h>
@@ -43,6 +44,4 @@
 #include <synch/mutex.h>
 #include <atomic.h>
-
-typedef int cap_handle_t;
 
 typedef enum {