j
k
j a
j l
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);
Back to the thread
Back to the list