From 4ac81ad179fcdcea187b47c8c6c48038841ec39f Mon Sep 17 00:00:00 2001
From: Rolf Sommerhalder <rolf.sommerhalder@alumni.ethz.ch>
Date: Tue, 21 Jan 2014 12:33:25 +0100
Subject: [PATCH] Fix run/uart, which fails to run without IO_PORT

Fixes #1031
---
 os/run/uart.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os/run/uart.run b/os/run/uart.run
index d160ba0174..5ed156769f 100644
--- a/os/run/uart.run
+++ b/os/run/uart.run
@@ -24,6 +24,7 @@ set config  {
 			<service name="RAM"/>
 			<service name="IRQ"/>
 			<service name="IO_MEM"/>
+			<service name="IO_PORT"/>
 			<service name="CAP"/>
 			<service name="PD"/>
 			<service name="RM"/>