From 871ee04ed6d407d74363b41303b6ac8df937f5c6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 2 Jun 2022 11:47:17 +0200
Subject: [PATCH] wireguard: enable wg_fetchurl.run on sel4

---
 repos/dde_linux/run/wg_fetchurl.run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/dde_linux/run/wg_fetchurl.run b/repos/dde_linux/run/wg_fetchurl.run
index 665e8e1490..8684cdb843 100644
--- a/repos/dde_linux/run/wg_fetchurl.run
+++ b/repos/dde_linux/run/wg_fetchurl.run
@@ -61,12 +61,14 @@ append config {
 			<service name="PD">  <parent/> </service>
 			<service name="CPU"> <parent/> </service>
 			<service name="LOG"> <parent/> </service>
+			<service name="IO_PORT"> <parent/> </service> <!-- sel4/x86 -->
+			<service name="IRQ">     <parent/> </service> <!-- sel4/x86 -->
 		</route>
 	</start>
 
 	<start name="report" caps="100">
 		<binary name="report_rom"/>
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
 		<route>
 			<service name="ROM"> <parent/> </service>