From a4782138726d6a5c3f7664eabad06dd2c31b273a Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 19 Aug 2013 10:59:50 +0200
Subject: [PATCH] pci: no parsing errors if no config file

---
 os/src/drivers/pci/pci_session_component.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/os/src/drivers/pci/pci_session_component.h b/os/src/drivers/pci/pci_session_component.h
index f18599783..d770c8a77 100644
--- a/os/src/drivers/pci/pci_session_component.h
+++ b/os/src/drivers/pci/pci_session_component.h
@@ -336,6 +336,9 @@ namespace Pci {
 			{
 				using namespace Genode;
 
+				/* check for config file first */
+				try { config(); } catch (...) { return; }
+
 				try {
 					unsigned i;