mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 19:34:56 +00:00
parent
8b8e3ef7a5
commit
d65220bcf2
@ -58,7 +58,7 @@ proc build_boot_image {binaries} {
|
||||
if {![nova_external] && ![file exists [nova_kernel]]} { build { kernel } }
|
||||
|
||||
puts "using NOVA kernel at [nova_kernel]"
|
||||
exec objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor
|
||||
exec [cross_dev_prefix]objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor
|
||||
|
||||
install_iso_bootloader_to_run_dir
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user