From 035e28d7d936885647b8f24de58523ec48c50bd3 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 29 Aug 2017 21:56:29 +0200
Subject: [PATCH] sel4: apply patches in deterministic order

Issue #2242
---
 repos/base-sel4/ports/sel4.hash | 2 +-
 repos/base-sel4/ports/sel4.port | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash
index 33c6fdc71..0789ddf4d 100644
--- a/repos/base-sel4/ports/sel4.hash
+++ b/repos/base-sel4/ports/sel4.hash
@@ -1 +1 @@
-3924d15bdcc26504949236abbff4b0c3f3913955
+bcec842b37dfec2a17c0fb8b0564bced474bea0c
diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port
index 05d10d455..a447355c7 100644
--- a/repos/base-sel4/ports/sel4.port
+++ b/repos/base-sel4/ports/sel4.port
@@ -12,7 +12,7 @@ $(call check_python_module,future)
 $(call check_python_module,tempita)
 $(call check_python_module,ply)
 
-PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
+PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
 
 # adjust kernel config usable on qemu and on native hw, and add a 32bit version
 default: $(DOWNLOADS)