sel4bench: remove HARDWARE and FAULT for hifive

See #203 and seL4/sel4bench#20 for background. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2022 · d4768f4 · d4768f4
1 parent 4ae5806
commit d4768f4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sel4bench/build.py b/sel4bench/build.py
@@ -27,7 +27,8 @@
 def adjust_build_settings(build: Build):
     del build.settings['BAMBOO']  # not used in this build, avoid warning
 
-    if build.is_smp():
+    # see discussion on https://github.com/seL4/sel4bench/pull/20 for hifive exclusion
+    if build.is_smp() or build.get_platform().name == 'HIFIVE':
         build.settings['HARDWARE'] = 'FALSE'
         build.settings['FAULT'] = 'FALSE'