[okl4-developer] ASSERT in scheduler_t::schedule()

[Tomas Hruby]

Hi,

I ran into a proble with assert in scheduler_t::schedule() which is
checking whether the current tcb is not enqueued. And it fails when
scheduling the rootserver for the first time.

It seems to be enqueued in
scheduler_t::release_and_reschedule_tcb() which is called from
init_root_server() -> get_current_scheduler()->activate() which might
cause the problem.

Is there some simple way how to solve this problem?

Cheers,

			Tomas