From c55663b923aeb54d5a275b25a2f99c0784d7b6f3 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 2 May 2019 13:08:33 +0200
Subject: [PATCH] os: extend regulator session api package

Ref #2190
Ref #3180
---
 repos/os/recipes/api/regulator_session/content.mk | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/os/recipes/api/regulator_session/content.mk b/repos/os/recipes/api/regulator_session/content.mk
index 5e1cad2e3..477a3499d 100644
--- a/repos/os/recipes/api/regulator_session/content.mk
+++ b/repos/os/recipes/api/regulator_session/content.mk
@@ -1,2 +1,5 @@
-MIRRORED_FROM_REP_DIR := include/regulator_session
+MIRRORED_FROM_REP_DIR := include/regulator_session \
+                         include/regulator \
+                         include/spec/exynos4/regulator \
+                         include/spec/exynos5/regulator
 include $(REP_DIR)/recipes/api/session.inc