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: adjust to cmdline changes of kernel

Browse Source 
- no need to explicitly switch off vga anymore
- use vPID for VMs which improves TLB usage if multiple vCPUs on same
  pCPU is used, which happens to happen on Sculpt.
- support for mwait by nova kernel, which is off by default

Issue #5206
This commit is contained in:
Alexander Boettcher
2024-05-02 11:26:25 +02:00
committed by Christian Helmuth
parent d9086833ed
commit b33afb24d7
7 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tool/run/boot_dir/nova
View File

@@ -31,7 +31,7 @@ proc binary_name_core_a { } { return "core-nova.a" }
proc binary_name_timer { } { return "nova_timer_drv" }
proc kernel_files { } { return hypervisor }
proc kernel_output { } { return "novga serial" }
proc kernel_output { } { return "serial" }
proc boot_output { } { return "serial" }
@@ -129,7 +129,7 @@ proc run_boot_dir {binaries} {
if {[apply_microcode]} {
puts $fh " module2 /boot/micro.code micro.code"
}
puts $fh " module2 /boot/hypervisor hypervisor iommu novpid [kernel_output]"
puts $fh " module2 /boot/hypervisor hypervisor iommu [kernel_output]"
puts $fh " module2 /boot/image.elf.gz image.elf"
puts $fh "}"
close $fh
@@ -154,7 +154,7 @@ proc run_boot_dir {binaries} {
if {[apply_microcode]} {
puts $fh " load /boot/micro.code micro.code"
}
puts $fh " load /boot/hypervisor iommu novpid [kernel_output]"
puts $fh " load /boot/hypervisor iommu [kernel_output]"
puts $fh " load /boot/image.elf"
close $fh