From 35e73b1a2d6c805540ad6fe226b585a0c7ce9b3e Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 3 May 2019 14:58:17 +0200
Subject: [PATCH] os: name imx53 input_drv unambigously (ref #2190)

---
 repos/os/src/drivers/input/spec/imx53/target.mk | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/input/spec/imx53/target.mk b/repos/os/src/drivers/input/spec/imx53/target.mk
index 27f5879af8..88986f0d6d 100644
--- a/repos/os/src/drivers/input/spec/imx53/target.mk
+++ b/repos/os/src/drivers/input/spec/imx53/target.mk
@@ -1,5 +1,6 @@
-TARGET    = input_drv
-REQUIRES  = imx53
+TARGET    = imx53_input_drv
+REQUIRES  = arm_v7
 SRC_CC    = main.cc
 LIBS      = base
 INC_DIR  += $(PRG_DIR)
+INC_DIR  += $(call select_from_repositories,include/spec/imx53)