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.