From d6ba00089bf255d9739771b5bdfb2353c992b386 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Fri, 8 Jul 2016 17:37:42 +0200 Subject: [PATCH] vbox: Increase stack size of periodic_gip thread Otherwise a pagefault is triggered on hw_x86_64_muen. --- repos/ports/src/virtualbox/sup.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/src/virtualbox/sup.cc b/repos/ports/src/virtualbox/sup.cc index 1730d2c1e..827cb8b02 100644 --- a/repos/ports/src/virtualbox/sup.cc +++ b/repos/ports/src/virtualbox/sup.cc @@ -48,7 +48,7 @@ enum { PSUPGLOBALINFOPAGE g_pSUPGlobalInfoPage; -struct Periodic_gip : public Genode::Thread_deprecated<4096> +struct Periodic_gip : public Genode::Thread_deprecated<2*4096> { Periodic_gip() : Thread_deprecated("periodic_gip") { start(); }