diff --git a/repos/base-hw/src/core/platform_thread.cc b/repos/base-hw/src/core/platform_thread.cc
index 4f16ad3c04..0238a63491 100644
--- a/repos/base-hw/src/core/platform_thread.cc
+++ b/repos/base-hw/src/core/platform_thread.cc
@@ -78,7 +78,7 @@ Platform_thread::Platform_thread(size_t const quota,
                                  const char * const label,
                                  unsigned const virt_prio,
                                  addr_t const utcb)
-: Kernel_object<Kernel::Thread>(true, _priority(virt_prio), 0, _label),
+: Kernel_object<Kernel::Thread>(true, _priority(virt_prio), quota, _label),
   _pd(nullptr),
   _pager(nullptr),
   _utcb_pd_addr((Native_utcb *)utcb),