Initial environnement issue

[Julien SIMONE]

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120102/24b60cc0/attachment.html>