From cac0f44194f1587dfcd8d205e4aa98b91288796f Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 18 Apr 2019 14:50:28 +0200
Subject: [PATCH] os: extend platform_session api package

Ref #2190
Ref #3180
---
 repos/os/recipes/api/platform_session/content.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/recipes/api/platform_session/content.mk b/repos/os/recipes/api/platform_session/content.mk
index dc603eb47..8b5028514 100644
--- a/repos/os/recipes/api/platform_session/content.mk
+++ b/repos/os/recipes/api/platform_session/content.mk
@@ -1,5 +1,6 @@
 INCLUDE_SUB_DIRS := platform_session \
                     spec/imx53/platform_session \
+                    spec/rpi/platform \
                     spec/rpi/platform_session \
                     spec/x86/platform_session \
                     platform_device \