From 988a7962a82dab20c2dfcf76cdd4c384a32719f3 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 7 Jan 2015 10:43:01 +0100 Subject: [PATCH] nova: disable vpid feature 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 --- repos/base-nova/run/env | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-nova/run/env b/repos/base-nova/run/env index de7185a79..6b4cc1846 100644 --- a/repos/base-nova/run/env +++ b/repos/base-nova/run/env @@ -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 {