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.