solo5: needs IRQ for timer on sel4

2018-12-03 14:26:21 +01:00 · 2018-12-03 14:26:21 +01:00 · e1b27885f9
parent 1d0e063f49
commit e1b27885f9
1 changed files with 1 additions and 0 deletions
--- 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>