Hello, genode!<br><br>In Thread_base::start() function, there is a capability inserting part:<br><br>        Cap_index *i = cap_map()->insert(<a href="http://state.id">state.id</a>, state.cap);<br>        l4_utcb_tcr_u(state.utcb)->user[UTCB_TCR_BADGE]      = (unsigned long) i;<br>
        l4_utcb_tcr_u(state.utcb)->user[UTCB_TCR_THREAD_OBJ] = (addr_t)this;<br><br>in the above, <i>state.kcap</i> is the cap-selector in the Genode CORE (where Cpu_root is there).<br>And, Thread_base::start() function tries to create the capability with the same value of state.kcap (it looks rather than delegating, uses direct value).<br>
My question here is that, "could it be possible that the state.kcap value is already taken by some other capability in the Genode application?"<br><br>Best regards,<br>Jaeyong<br>