Index: kernel/generic/include/cap/cap.h
===================================================================
--- kernel/generic/include/cap/cap.h	(revision d51a0d61e43baaf646db5fd0827b7e8c89b0f4f5)
+++ kernel/generic/include/cap/cap.h	(revision 7b8f9334dad3203745fb5ee2bf4bedb758659ae3)
@@ -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 {