2 Jan
2012
2 Jan
'12
4:35 p.m.
Hi hackers,
Everytime I try to get a new free utcb in using L4re_env()->first_free_utcb, this call returns 0xffffffff.
I think there is something wrong with the utcb_area...
Do you think I forgot to initialize anything? Any idea?
Best regards,
Julien.