denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nova: export kernel messages via memory

Browse Source 
Fixes #2207
This commit is contained in:
Alexander Boettcher
2016-05-28 20:54:24 +02:00
committed by Christian Helmuth
parent 38d5a5bf0e
commit 70028f8445
4 changed files with 48 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tool/run/boot_dir/nova
View File

@@ -3,10 +3,10 @@ proc binary_name_core_o { } { return "core-nova.o" }
proc binary_name_timer { } { return "nova_timer_drv" }
proc kernel_files { } { return hypervisor }
proc kernel_output { } { return "novga serial" }
proc run_boot_string { } {
return "\n\r\fNOVA Microhypervisor"
return "\nHypervisor reports "
}
@@ -126,7 +126,7 @@ proc run_boot_dir {binaries} {
puts $fh " insmod multiboot2"
puts $fh " insmod gzio"
puts $fh " multiboot2 /boot/bender $serial_bender_opt"
puts $fh " module2 /boot/hypervisor hypervisor iommu serial novpid novga"
puts $fh " module2 /boot/hypervisor hypervisor iommu novpid [kernel_output]"
puts $fh " module2 /boot/image.elf.gz image.elf"
puts $fh "}"
close $fh
@@ -148,7 +148,7 @@ proc run_boot_dir {binaries} {
#
set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
puts $fh " exec /boot/bender"
puts $fh " load /boot/hypervisor iommu serial novpid novga"
puts $fh " load /boot/hypervisor iommu novpid [kernel_output]"
puts $fh " load /boot/image.elf"
close $fh