From debec59e3048750cef8dd5fb25e0e4695262a51b Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 19 Nov 2013 14:46:23 +0100
Subject: [PATCH] imx53: add missing break to input driver (fix #957)

---
 os/src/drivers/input/imx53/main.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os/src/drivers/input/imx53/main.cc b/os/src/drivers/input/imx53/main.cc
index 861fffae2..56076d9eb 100644
--- a/os/src/drivers/input/imx53/main.cc
+++ b/os/src/drivers/input/imx53/main.cc
@@ -62,6 +62,7 @@ int main(int argc, char **argv)
 		plat_drv.enable(Platform::Session::I2C_3);
 		plat_drv.enable(Platform::Session::BUTTONS);
 		Input::Tablet_driver::factory(ev_queue);
+		break;
 	default:
 		PWRN("No input driver available for this board");
 	}