Browse Source

run: successful-boot detection string for sel4

devel
Christian Helmuth 7 years ago
parent
commit
958bf4d903
  1. 2
      tool/run/boot_dir/sel4

2
tool/run/boot_dir/sel4

@ -15,7 +15,7 @@ proc run_boot_dir_hook { } {
proc run_boot_string { } {
return "kernel initialized"
return "Starting node #0"
}

Loading…
Cancel
Save