From 26c5b4f0b06b408e817d0b4b73ceb1c0b4bb1614 Mon Sep 17 00:00:00 2001
From: Bahadir Balban <bbalban@b-labs.co.uk>
Date: Tue, 1 Dec 2009 15:51:41 +0200
Subject: [PATCH] Added standard capability.h to all pre-defined projects

---
 conts/baremetal/baremetal0/include/capability.h | 12 ++++++++++++
 conts/baremetal/baremetal1/include/capability.h | 12 ++++++++++++
 conts/baremetal/baremetal2/include/capability.h | 12 ++++++++++++
 3 files changed, 36 insertions(+)
 create mode 100644 conts/baremetal/baremetal0/include/capability.h
 create mode 100644 conts/baremetal/baremetal1/include/capability.h
 create mode 100644 conts/baremetal/baremetal2/include/capability.h

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 */