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