diff --git a/conts/baremetal/baremetal0/include/capability.h b/conts/baremetal/baremetal0/include/capability.h
new file mode 100644
index 0000000..5cfce89
--- /dev/null
+++ b/conts/baremetal/baremetal0/include/capability.h
@@ -0,0 +1,12 @@
+#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
new file mode 100644
index 0000000..5cfce89
--- /dev/null
+++ b/conts/baremetal/baremetal1/include/capability.h
@@ -0,0 +1,12 @@
+#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
new file mode 100644
index 0000000..5cfce89
--- /dev/null
+++ b/conts/baremetal/baremetal2/include/capability.h
@@ -0,0 +1,12 @@
+#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 */