From e4710f988ac7955fd9fa51e39505881f9b4aef30 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Fri, 8 Jul 2022 08:31:51 +1000
Subject: [PATCH] sel4bench: remove HARDWARE and FAULT for hifive

See #203 and seL4/sel4bench#20 for background.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 sel4bench/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sel4bench/build.py b/sel4bench/build.py
index 524e3a6a..da104eb9 100644
--- a/sel4bench/build.py
+++ b/sel4bench/build.py
@@ -27,7 +27,7 @@
 def adjust_build_settings(build: Build):
     del build.settings['BAMBOO']  # not used in this build, avoid warning
 
-    if build.is_smp():
+    if build.is_smp() or build.get_platform().name == 'HIFIVE':
         build.settings['HARDWARE'] = 'FALSE'
         build.settings['FAULT'] = 'FALSE'