From 8fd30b13ac0f7a61008015f4428cdeef50faa285 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 4 Apr 2015 20:19:54 +0200
Subject: [PATCH] Consider Raspberry Pi in sd_card.run

Issue #1475
---
 repos/os/run/sd_card.run | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run
index 21f5feae5..30c3b53e0 100644
--- a/repos/os/run/sd_card.run
+++ b/repos/os/run/sd_card.run
@@ -10,6 +10,7 @@ set build_components {
 	test/blk/cli
 }
 lappend_if [have_spec platform_arndale] build_components drivers/platform
+lappend_if [have_spec platform_rpi]     build_components drivers/platform
 
 build $build_components
 create_boot_directory
@@ -37,10 +38,11 @@ set config  {
 			<any-service> <parent/> <any-child/> </any-service>
 		</default-route> }
 
-append_if [have_spec platform_arndale] config {
+append_if [expr [have_spec platform_arndale] || [have_spec platform_rpi]] config {
 		<start name="platform_drv">
 			<resource name="RAM" quantum="1M"/>
-			<provides><service name="Regulator"/></provides>
+			<provides> <service name="Regulator"/>
+			           <service name="Platform"/> </provides>
 		</start>}
 
 append config {
@@ -72,6 +74,7 @@ set boot_modules {
 	test-blk-cli
 }
 lappend_if [have_spec platform_arndale] boot_modules platform_drv
+lappend_if [have_spec platform_rpi]     boot_modules platform_drv
 
 set disk_image "bin/sd_card.img"