libports: rpi support in lwip.run

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