From e1b27885f9575fc8639d053967e5725c5623d6ac Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 3 Dec 2018 14:26:21 +0100
Subject: [PATCH] solo5: needs IRQ for timer on sel4

---
 repos/libports/run/solo5.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/libports/run/solo5.run b/repos/libports/run/solo5.run
index 00ff90f61..25d4aa817 100644
--- a/repos/libports/run/solo5.run
+++ b/repos/libports/run/solo5.run
@@ -23,6 +23,7 @@ install_config {
 		<service name="PD"/>
 		<service name="RAM"/>
 		<service name="ROM"/>
+		<service name="IRQ"/>
 		<service name="IO_PORT"/>
 	</parent-provides>