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

file_vault_client.run: disable for riscv

Browse Source 
Ref #5148
This commit is contained in:
Martin Stein
2024-04-01 15:31:09 +02:00
committed by Christian Helmuth
parent 0ef92baf9d
commit a7ff30d5a4
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/run/file_vault_client.run
View File

@ -1,3 +1,8 @@
if {[have_spec riscv]} {
puts "\n Run script is not supported on this platform. \n";
exit 0
}
proc jent_avail { } { proc jent_avail { } {
if {[have_board pbxa9]} { return 0 } if {[have_board pbxa9]} { return 0 }
if {[have_board zynq_qemu]} { return 0 } if {[have_board zynq_qemu]} { return 0 }