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.
On Mon Jan 02, 2012 at 16:35:12 +0100, Julien SIMONE wrote:
Everytime I try to get a new free utcb in using L4re_env()->first_free_utcb, this call returns 0xffffffff.
This is not a function but just an address, that might explain it :)
Adam
l4-hackers@os.inf.tu-dresden.de