From 2d4a7852316f37d8f63d6288ac9e1696d460f124 Mon Sep 17 00:00:00 2001
From: Amit Mahajan <amit.mahajan@b-labs.co.uk>
Date: Tue, 8 Dec 2009 11:21:50 +0530
Subject: [PATCH] Deleted misplaced baremetal containers present in bahadir's
 repo.

---
 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 deletions(-)
 delete mode 100644 conts/baremetal/baremetal0/include/capability.h
 delete mode 100644 conts/baremetal/baremetal1/include/capability.h
 delete mode 100644 conts/baremetal/baremetal2/include/capability.h

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