Update Muen port

- Switch to sinfo variant resources API - Improved MSI IRQ representation and processing - Genode system policy adjustments
2018-04-09 17:02:42 +02:00 · 2018-04-09 17:02:42 +02:00 · 5c3461a851
parent ad99688853
commit 5c3461a851
2 changed files with 2 additions and 2 deletions
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@ -1 +1 @@
-f9019aafe61c13c23a320856f684bd13a028697e
+f1615ee45298f31e598e4544bdf7bdda782da394
--- a/repos/base-hw/ports/muen.port
+++ b/repos/base-hw/ports/muen.port
@ -3,7 +3,7 @@ VERSION   := git
 DOWNLOADS := muen.git

 URL(muen) := https://git.codelabs.ch/git/muen.git
-REV(muen) := 41263af9482b85799537d4cad3d79427f153d7d3
+REV(muen) := 73087542833cb3a9fbb13cd079e815ba4b77918f
 DIR(muen) := src/kernel/muen

 $(call check_tool,git)