From b495799d31a8e9948ba7212a77e567f8fe644f96 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Mon, 29 Apr 2019 11:37:25 +0200 Subject: [PATCH] sel4: change ELF loader link address on imx7d Fix #3311 --- repos/base-sel4/ports/sel4_tools.hash | 2 +- repos/base-sel4/ports/sel4_tools.port | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-sel4/ports/sel4_tools.hash b/repos/base-sel4/ports/sel4_tools.hash index 08bae2e11..9674e4691 100644 --- a/repos/base-sel4/ports/sel4_tools.hash +++ b/repos/base-sel4/ports/sel4_tools.hash @@ -1 +1 @@ -3b20dfecead271767ede321161ef471396c800f2 +4ee1b92defa12f61ad427c341e7f046324319e90 diff --git a/repos/base-sel4/ports/sel4_tools.port b/repos/base-sel4/ports/sel4_tools.port index e6cf25632..a93994ab5 100644 --- a/repos/base-sel4/ports/sel4_tools.port +++ b/repos/base-sel4/ports/sel4_tools.port @@ -4,7 +4,7 @@ DOWNLOADS := sel4_tools.git URL(sel4_tools) := https://github.com/skalk/seL4_tools.git # Rev 9.0.x genode branch -REV(sel4_tools) := dd8068bfd4acfa2c3142398521c40bea093bbe04 +REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7 DIR(sel4_tools) := src/tool/sel4_tools $(call check_tool,python)