From 95b9e0a0e2dde44f35048ab63789d28cf362ad2d Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 16 Apr 2019 10:26:56 +0200
Subject: [PATCH] sel4: fix configuration for imx7d sabre

Ref #3292
---
 repos/base-sel4/patches/imx7d_sabre.config | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/base-sel4/patches/imx7d_sabre.config b/repos/base-sel4/patches/imx7d_sabre.config
index 574e8f40fb..55095bcb6d 100644
--- a/repos/base-sel4/patches/imx7d_sabre.config
+++ b/repos/base-sel4/patches/imx7d_sabre.config
@@ -17,11 +17,13 @@
  #define CONFIG_NUM_PRIORITIES 256
  #define CONFIG_TESTPRINTER_REGEX ".*"
  #define CONFIG_APP_SEL4TEST 1
-@@ -89,3 +90,7 @@
+@@ -89,3 +90,9 @@
  #define CONFIG_BUILDSYS_USE_CCACHE 1
  #define CONFIG_MAX_NUM_NODES 1
  #define CONFIG_KERNEL_STACK_BITS 12
 +#define CONFIG_ARCH_AARCH32 1
 +#define CONFIG_IPC_BUF_TPIDRURW 1
++#define CONFIG_ENABLE_BENCHMARKS 1
++#define CONFIG_BENCHMARK_TRACK_UTILISATION 1
 +#define CONFIG_HAVE_FPU 1
 +#define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64