diff --git a/os/src/drivers/framebuffer/omap4/main.cc b/os/src/drivers/framebuffer/omap4/main.cc
index c5a237a14..bb53d209e 100644
--- a/os/src/drivers/framebuffer/omap4/main.cc
+++ b/os/src/drivers/framebuffer/omap4/main.cc
@@ -109,11 +109,7 @@ int main(int, char **)
 			output = Driver::OUTPUT_LCD;
 		}
 	}
-	catch (Genode::Xml_node::Nonexistent_attribute) {
-		PERR("incorrect configuration, aborting");
-		throw Root::Invalid_args();
-	}
-	catch (Genode::Xml_node::Nonexistent_sub_node) {
+	catch (...) {
 		PDBG("using default configuration: HDMI@%dx%d", width, height);
 	}