From 181d507cf837f1e05c4e352fcbddbc0fda8bea62 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 21 Sep 2014 19:39:13 +0200
Subject: [PATCH] libports: rpi support in lwip.run

---
 repos/libports/run/lwip.run | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index fd5db894c..b120c4163 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -19,7 +19,7 @@
 # TODO: Add support for Linux via user-level networking (using the
 #       tun/tap proxy driver at os/src/drivers/nic/linux)
 #
-set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
+set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5] || [have_spec platform_rpi]]
 set use_nic_driver [expr !$use_usb_driver && ![have_spec platform_imx53] && ![have_spec linux]]
 
 if {[expr !$use_usb_driver && !$use_nic_driver]} {
@@ -41,6 +41,7 @@ lappend_if $use_usb_driver              build_components drivers/usb
 lappend_if [have_spec acpi]             build_components drivers/acpi
 lappend_if [have_spec pci]              build_components drivers/pci/device_pd
 lappend_if [have_spec platform_arndale] build_components drivers/platform
+lappend_if [have_spec platform_rpi]     build_components drivers/platform
 lappend_if [have_spec gpio]             build_components drivers/gpio
 
 build $build_components
@@ -88,6 +89,13 @@ append_if [have_spec platform_arndale] config {
 		<provides><service name="Regulator"/></provides>
 	</start>}
 
+append_if [have_spec platform_rpi] config {
+	<start name="platform_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Platform"/></provides>
+		<config/>
+	</start>}
+
 append_if [have_spec gpio] config {
 	<start name="gpio_drv">
 		<resource name="RAM" quantum="4M"/>
@@ -155,6 +163,7 @@ lappend_if $use_usb_driver              boot_modules usb_drv
 lappend_if $use_nic_driver              boot_modules nic_drv
 lappend_if [have_spec nova]             boot_modules pci_device_pd
 lappend_if [have_spec platform_arndale] boot_modules platform_drv
+lappend_if [have_spec platform_rpi]     boot_modules platform_drv
 lappend_if [have_spec gpio]             boot_modules gpio_drv
 
 build_boot_image $boot_modules