From bc8a5cbb2a08a6f43ec7473b68d7e72d9b102178 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 6 Jul 2015 16:47:19 +0200 Subject: [PATCH] hw: fix CPU-quota bug in Platform_thread Since the HW-kern-caps commit, there was a bug in the Platform_thread constructor. When called for a user thread, the constructor stated 0 as CPU quota at the Kernel_object instead of its quota input-paramater. Fixes #1620 --- repos/base-hw/src/core/platform_thread.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/platform_thread.cc b/repos/base-hw/src/core/platform_thread.cc index 4f16ad3c0..0238a6349 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(true, _priority(virt_prio), 0, _label), +: Kernel_object(true, _priority(virt_prio), quota, _label), _pd(nullptr), _pager(nullptr), _utcb_pd_addr((Native_utcb *)utcb),