mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-26 08:51:08 +00:00
30 lines
836 B
Plaintext
30 lines
836 B
Plaintext
#
|
|
# \brief Noux environment for building the Genode/NOVA demo scenario on Genode
|
|
# \author Christian Prochaska
|
|
# \date 2012-11-26
|
|
#
|
|
|
|
set platform "nova_x86_32"
|
|
set platform_base_dir "base-nova"
|
|
set platform_pkgs ""
|
|
set platform_cmds {
|
|
make core &&
|
|
exit 234
|
|
}
|
|
|
|
source ${genode_dir}/ports/run/noux_tool_chain.inc
|
|
|
|
append qemu_args " -m 768 "
|
|
|
|
set time_start [ clock seconds ]
|
|
|
|
run_genode_until {child /bin/bash exited with exit value 234} 600
|
|
|
|
set time_end [ clock seconds ]
|
|
set git_info [ exec git --git-dir=$genode_dir/.git describe ]
|
|
|
|
puts "Testing \" [ clock format $time_start -format "%Y-%m-%d %H:%M:%S"], commit: ($git_info)\" in : "
|
|
puts "Testing \"all\" in printf.wv:"
|
|
puts "! PERF: runtime [expr $time_end - $time_start ] seconds ok"
|
|
puts "Test succeeded"
|