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");
 	}