mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
27 lines
500 B
Plaintext
27 lines
500 B
Plaintext
##
|
|
# Execute scenario using spike
|
|
#
|
|
source [genode_dir]/tool/run/spike.inc
|
|
|
|
proc is_spike_available { } {
|
|
|
|
if {[have_spec platform_riscv]} { return true }
|
|
|
|
puts stderr "skipping execution because platform is not supported by spike"
|
|
return false
|
|
}
|
|
|
|
proc run_power_on { } {
|
|
global spike_args
|
|
global spike
|
|
global spike_spawn_id
|
|
|
|
if {![is_spike_available]} { return 0 }
|
|
|
|
append spike_args " [run_dir]/image.elf "
|
|
|
|
set spike "spike"
|
|
eval spawn $spike $spike_args
|
|
set spike_spawn_id $spawn_id
|
|
}
|