From dcd589d1130eec9bbfdc97288469dbabd0dfa249 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 6 May 2015 12:46:25 +0200
Subject: [PATCH] l4linux: platform_drv may provide platform session

This is especially true for i.MX53 but is not needed on Arndale
currently.

@skalk the test will still fail each night as we do not have a nic_drv
for imx53...
---
 repos/ports-foc/run/l4linux.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/ports-foc/run/l4linux.run b/repos/ports-foc/run/l4linux.run
index cdfbb02fba..9c1ad777e2 100644
--- a/repos/ports-foc/run/l4linux.run
+++ b/repos/ports-foc/run/l4linux.run
@@ -109,6 +109,7 @@ append_if $use_platform_drv config {
 		<resource name="RAM" quantum="1M"/>
 		<provides>
 			<service name="Regulator"/>
+			<service name="Platform"/>
 		</provides>
 	</start>}