From 5706e30be62a058d49d709c5f5c0f5ce3b815372 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Fri, 29 Jan 2016 13:40:56 +0100
Subject: [PATCH] disable temporaly the PCI suppoert

this currently not required because we don't have a valid PCI driver...
---
 hermit/arch/x86/include/asm/processor.h | 2 +-
 hermit/arch/x86/kernel/pci.c            | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h
index 142c5ced2..be0c0fa9e 100644
--- a/hermit/arch/x86/include/asm/processor.h
+++ b/hermit/arch/x86/include/asm/processor.h
@@ -676,7 +676,7 @@ inline static int system_init(void)
 {
 	gdt_install();
 	cpu_detection();
-	pci_init();
+	//pci_init();
 
 	return 0;
 }
diff --git a/hermit/arch/x86/kernel/pci.c b/hermit/arch/x86/kernel/pci.c
index 330f1fe84..24bb3a035 100644
--- a/hermit/arch/x86/kernel/pci.c
+++ b/hermit/arch/x86/kernel/pci.c
@@ -25,6 +25,7 @@
  * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+#if 0
 #include <hermit/stdio.h>
 #include <hermit/string.h>
 #include <hermit/errno.h>
@@ -214,3 +215,5 @@ int print_pci_adapters(void)
 
 	return 0;
 }
+
+#endif