From 5c3461a851e7a20881edcb1843da27f3b37cc11a Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Mon, 9 Apr 2018 17:02:42 +0200 Subject: [PATCH] Update Muen port - Switch to sinfo variant resources API - Improved MSI IRQ representation and processing - Genode system policy adjustments --- repos/base-hw/ports/muen.hash | 2 +- repos/base-hw/ports/muen.port | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash index 1bcf2fc22..fb83ab586 100644 --- a/repos/base-hw/ports/muen.hash +++ b/repos/base-hw/ports/muen.hash @@ -1 +1 @@ -f9019aafe61c13c23a320856f684bd13a028697e +f1615ee45298f31e598e4544bdf7bdda782da394 diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port index 901f01e13..bb0edc82f 100644 --- 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)