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