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(); }