From 93c1ef0309e6590e0e44ff3bbc9f86cd87baab3e Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 12 May 2015 16:54:06 +0200 Subject: [PATCH] run: build nova kernel on every run invocation Compared to some other kernels checking the nova source and building is way faster - so we can spend on each run/* invocation the extra time. --- tool/run/boot_dir/nova | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova index ae5c8fbcd..5fd3871ee 100644 --- a/tool/run/boot_dir/nova +++ b/tool/run/boot_dir/nova @@ -33,12 +33,13 @@ proc run_boot_string { } { # Populate directory with binaries on NOVA # proc run_boot_dir {binaries} { + # # Collect contents of the ISO image # copy_and_strip_genode_binaries_to_run_dir $binaries - if {![nova_external] && ![file exists [nova_kernel]]} { build { kernel } } + if {![nova_external]} { build { kernel } } puts "using NOVA kernel at [nova_kernel]" exec [cross_dev_prefix]objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor