From 48e6468df130c0f9384784c4a3d50f406933763f Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 1 Aug 2023 22:43:00 +0200
Subject: [PATCH] os: support UART drivers in board-specific repositories

Fixes #4973
---
 repos/os/src/drivers/uart/target.inc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/uart/target.inc b/repos/os/src/drivers/uart/target.inc
index 2e5c97fdc1..63deb326d0 100644
--- a/repos/os/src/drivers/uart/target.inc
+++ b/repos/os/src/drivers/uart/target.inc
@@ -1,6 +1,8 @@
 SRC_CC   = main.cc
 LIBS     = base
 
-INC_DIR += $(PRG_DIR) $(REP_DIR)/src/drivers/uart
+GENERIC_DRV_DIR = $(dir $(call select_from_repositories,src/drivers/uart/target.inc))
 
-vpath main.cc $(REP_DIR)/src/drivers/uart
+INC_DIR += $(PRG_DIR) $(GENERIC_DRV_DIR)
+
+vpath main.cc $(GENERIC_DRV_DIR)