2 Jan
2012
2 Jan
'12
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/