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 at os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/