genode/tool/run/power_on/spike

##
# 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
}
riscv: run tool support for spike issue #1880 2016-02-11 10:42:00 +00:00			`##`
			`# Execute scenario using spike`
			`#`
			`source [genode_dir]/tool/run/spike.inc`

			`proc is_spike_available { } {`

hw: get rid of global makefiles specific to hw This commit mostly removes the globally visible NR_OF_CPUS define from the global makefile specifiers defined in the base-hw repository. Whereever necessary it adds platform specific makefiles to the base repository when they were missing. Ref #2190 2017-01-02 14:29:21 +00:00			`if {[have_spec riscv]} { return true }`
riscv: run tool support for spike issue #1880 2016-02-11 10:42:00 +00:00
			`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 }`

run: update RISC-V run script support * fix build error for bbl upon intial build * set memory to 128 MB in spike * support 'forever' timeout issue #2423 2017-08-24 14:17:54 +00:00			`append spike_args "-m128 [pwd]/debug/bbl "`
riscv: run tool support for spike issue #1880 2016-02-11 10:42:00 +00:00
			`set spike "spike"`
			`eval spawn $spike $spike_args`
			`set spike_spawn_id $spawn_id`
run: add error checking to power on step 2017-08-07 14:30:38 +00:00
			`return true`
riscv: run tool support for spike issue #1880 2016-02-11 10:42:00 +00:00			`}`