##
# Execute scenario using spike
#
source [genode_dir]/tool/run/spike.inc

proc is_spike_available { } {

	if {[have_spec 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 "-m128 [pwd]/debug/bbl "

	set spike "spike"
	eval spawn $spike $spike_args
	set spike_spawn_id $spawn_id

	return true
}
