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.
2 Jan
2 Jan
10:35 p.m.
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 -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
5174
Age (days ago)
5174
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adam Lackorzynski -
Julien SIMONE