From a347be22223da97d16d22104587e0af0cf7ade22 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 28 Mar 2018 15:10:38 +0200 Subject: [PATCH] sel4: enable wandboard sd card bench test Issue #2665 --- repos/os/run/sd_card_bench.run | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run index 70f07a20d..1a468ba61 100644 --- a/repos/os/run/sd_card_bench.run +++ b/repos/os/run/sd_card_bench.run @@ -3,8 +3,7 @@ # if {[have_spec pl180]} { set buffer_size_kib [expr 12 * 1024] -} elseif {[have_spec imx6] && - ![have_spec sel4]} { set buffer_size_kib [expr 1024] +} elseif {[have_spec imx6]} { set buffer_size_kib [expr 1024] } elseif {[have_spec imx53] && ![have_spec foc]} { set buffer_size_kib [expr 1024] } elseif {[have_spec rpi]} { set buffer_size_kib [expr 4 * 1024]