ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-21 11:35:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nova: disable vpid feature

Browse Source 
Workaround for issue #1343. By disabling the 'vpid' feature of the nova
kernel several VMs can be used concurrently. Applies for Seoul and VirtualBox.

Issue #1343
This commit is contained in:
Alexander Boettcher 2015-01-07 10:43:01 +01:00 committed by Christian Helmuth
parent ee996d2280
commit 988a7962a8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-nova/run/env
View File

@ -73,7 +73,7 @@ proc build_boot_image {binaries} {
puts $fh "default 0"
puts $fh "\ntitle Genode on NOVA"
puts $fh " kernel /boot/bender"
puts $fh " module /hypervisor iommu serial"
puts $fh " module /hypervisor iommu serial novpid"
puts $fh " module /genode/core"
puts $fh " module /genode/config"
foreach binary $binaries {
@ -90,7 +90,7 @@ proc build_boot_image {binaries} {
#
set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
puts $fh " exec /boot/bender"
puts $fh " load /hypervisor iommu serial"
puts $fh " load /hypervisor iommu serial novpid"
puts $fh " load /genode/core"
puts $fh " load /genode/config"
foreach binary $binaries {