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
This commit is contained in:
Martin Stein 2015-07-06 16:47:19 +02:00 committed by Christian Helmuth
parent af5c03edaf
commit bc8a5cbb2a

View File

@ -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),