ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-04 08:30:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: enable wandboard sd card bench test

Browse Source 
Issue #2665
This commit is contained in:
Alexander Boettcher 2018-03-28 15:10:38 +02:00 committed by Christian Helmuth
parent de82980e89
commit a347be2222
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/run/sd_card_bench.run
View File

@ -3,8 +3,7 @@
# #
if {[have_spec pl180]} { set buffer_size_kib [expr 12 * 1024] if {[have_spec pl180]} { set buffer_size_kib [expr 12 * 1024]
} elseif {[have_spec imx6] && } elseif {[have_spec imx6]} { set buffer_size_kib [expr 1024]
![have_spec sel4]} { set buffer_size_kib [expr 1024]
} elseif {[have_spec imx53] && } elseif {[have_spec imx53] &&
![have_spec foc]} { set buffer_size_kib [expr 1024] ![have_spec foc]} { set buffer_size_kib [expr 1024]
} elseif {[have_spec rpi]} { set buffer_size_kib [expr 4 * 1024] } elseif {[have_spec rpi]} { set buffer_size_kib [expr 4 * 1024]