how i can determine utcb loaction in order to make thread

[Jason Phillips]

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);