diff --git a/conts/baremetal/baremetal0/include/capability.h b/conts/baremetal/baremetal0/include/capability.h
deleted file mode 100644
index 5cfce89..0000000
--- a/conts/baremetal/baremetal0/include/capability.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef __UART_SERVICE_CAPABILITY_H__
-#define __UART_SERVICE_CAPABILITY_H__
-
-#include <l4lib/capability.h>
-#include <l4/api/capability.h>
-#include <l4/generic/cap-types.h>
-
-void cap_print(struct capability *cap);
-void cap_list_print(struct cap_list *cap_list);
-int cap_read_all();
-
-#endif /* header */
diff --git a/conts/baremetal/baremetal1/include/capability.h b/conts/baremetal/baremetal1/include/capability.h
deleted file mode 100644
index 5cfce89..0000000
--- a/conts/baremetal/baremetal1/include/capability.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef __UART_SERVICE_CAPABILITY_H__
-#define __UART_SERVICE_CAPABILITY_H__
-
-#include <l4lib/capability.h>
-#include <l4/api/capability.h>
-#include <l4/generic/cap-types.h>
-
-void cap_print(struct capability *cap);
-void cap_list_print(struct cap_list *cap_list);
-int cap_read_all();
-
-#endif /* header */
diff --git a/conts/baremetal/baremetal2/include/capability.h b/conts/baremetal/baremetal2/include/capability.h
deleted file mode 100644
index 5cfce89..0000000
--- a/conts/baremetal/baremetal2/include/capability.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef __UART_SERVICE_CAPABILITY_H__
-#define __UART_SERVICE_CAPABILITY_H__
-
-#include <l4lib/capability.h>
-#include <l4/api/capability.h>
-#include <l4/generic/cap-types.h>
-
-void cap_print(struct capability *cap);
-void cap_list_print(struct cap_list *cap_list);
-int cap_read_all();
-
-#endif /* header */