Re: how i can determine utcb loaction in order to make thread

the problem is the pager is not assigned. The line: L4_ThreadControl(jen,me,me,L4_nilthread,(void*)utcb_l); should be L4_ThreadControl(jen,me,me,me,(void*)utcb_l);