From 9a46c670c1b28f47540a6b019294397f44518c7b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 28 Feb 2018 14:03:53 +0100
Subject: [PATCH] vbox5: update to 5.1.34

Issue #2658
---
 repos/ports/lib/mk/virtualbox5-runtime.mk        | 1 +
 repos/ports/ports/virtualbox5.hash               | 2 +-
 repos/ports/ports/virtualbox5.port               | 8 ++++----
 repos/ports/src/virtualbox5/spec/nova/vcpu_vmx.h | 3 ++-
 4 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/repos/ports/lib/mk/virtualbox5-runtime.mk b/repos/ports/lib/mk/virtualbox5-runtime.mk
index 3e97f85ea..682f06374 100644
--- a/repos/ports/lib/mk/virtualbox5-runtime.mk
+++ b/repos/ports/lib/mk/virtualbox5-runtime.mk
@@ -104,6 +104,7 @@ SRC_CC += Runtime/common/string/RTStrNCmp.cpp
 SRC_CC += Runtime/common/string/RTStrNLen.cpp
 SRC_CC += Runtime/common/string/RTStrNLenEx.cpp
 SRC_CC += Runtime/common/string/RTStrPrintHexBytes.cpp
+SRC_CC += Runtime/common/string/RTStrStartsWith.cpp
 SRC_CC += Runtime/common/string/simplepattern.cpp
 SRC_CC += Runtime/common/string/straprintf.cpp
 SRC_CC += Runtime/common/string/strformat.cpp
diff --git a/repos/ports/ports/virtualbox5.hash b/repos/ports/ports/virtualbox5.hash
index 8b7cc1454..3a6e3fe9d 100644
--- a/repos/ports/ports/virtualbox5.hash
+++ b/repos/ports/ports/virtualbox5.hash
@@ -1 +1 @@
-9034a3ad9af7c4aa33b1c70f8d629ae2196dd334
+7e64e875e0a981dfdebd35561d02ff0f648ecd59
diff --git a/repos/ports/ports/virtualbox5.port b/repos/ports/ports/virtualbox5.port
index 439cb37ae..55938a3de 100644
--- a/repos/ports/ports/virtualbox5.port
+++ b/repos/ports/ports/virtualbox5.port
@@ -1,17 +1,17 @@
 LICENSE         := GPLv2
-VERSION         := 5.1.32
+VERSION         := 5.1.34
 DOWNLOADS       := virtualbox.archive virtualbox_sdk.archive
 
 VIRTUALBOX_TBZ2    := VirtualBox-$(VERSION).tar.bz2
-VIRTUALBOX_SDK_ZIP := VirtualBoxSDK-$(VERSION)-120294.zip
+VIRTUALBOX_SDK_ZIP := VirtualBoxSDK-$(VERSION)-121010.zip
 
 URL(virtualbox) := http://download.virtualbox.org/virtualbox/$(VERSION)/$(VIRTUALBOX_TBZ2)
 DIR(virtualbox) := src/app/virtualbox
-SHA(virtualbox) := f6363053cb6050db1a16ffffcd99b00d761c3007
+SHA(virtualbox) := 0b6b89cf577e2b5c8da6abab3ab8fce66d06f997
 
 URL(virtualbox_sdk) := http://download.virtualbox.org/virtualbox/$(VERSION)/$(VIRTUALBOX_SDK_ZIP)
 DIR(virtualbox_sdk) := src/app/virtualbox_sdk
-SHA(virtualbox_sdk) := 567927545f1790d56282e2532b0dafaaa7d67e14
+SHA(virtualbox_sdk) := 7252da6fe6051779049661618114754c753c20cb
 
 PATCHES_DIR       := src/virtualbox5/patches
 PATCHES_DIR_VBOX4 := src/virtualbox/patches
diff --git a/repos/ports/src/virtualbox5/spec/nova/vcpu_vmx.h b/repos/ports/src/virtualbox5/spec/nova/vcpu_vmx.h
index e9ec89cee..c50db549d 100644
--- a/repos/ports/src/virtualbox5/spec/nova/vcpu_vmx.h
+++ b/repos/ports/src/virtualbox5/spec/nova/vcpu_vmx.h
@@ -90,7 +90,8 @@ class Vcpu_handler_vmx : public Vcpu_handler
 			                    VMX_VMCS_CTRL_PROC_EXEC2_VPID |
 /*			                    VMX_VMCS_CTRL_PROC_EXEC2_X2APIC | */
 			                    VMX_VMCS_CTRL_PROC_EXEC2_RDTSCP |
-			                    VMX_VMCS_CTRL_PROC_EXEC2_EPT;
+			                    VMX_VMCS_CTRL_PROC_EXEC2_EPT |
+			                    VMX_VMCS_CTRL_PROC_EXEC2_INVPCID;
 
 			void *exit_status = _start_routine(_start_routine_arg);
 			pthread_exit(exit_status);