Linux 2.6.24 L4FB and VGA_CONSOLE

Adam Lackorzynski adam at
Wed Feb 27 11:03:16 CET 2008


On Fri Feb 22, 2008 at 14:21:37 +0100, Marc CHALAND wrote:
> >From Ronald Aigner:
> > The address of the UTCB is taken in the stub from the environment
> > variable. This environment variable (_dice_corba_env->utcb) is set per
> > default with l4sys_utcb_get which in turn does 'asm( "%gs:0" )'. The
> > problem with Linux applications (running on L4Linux) is that they are
> > linked to a glibc that uses %gs for its own purposes. Therefore, the
> > UTCB pointer is probably bogus and thus UTCB IPC fails.
> Wunderbar :). That explains why I encounter problems with L4Linux.

This particular issue is fixed now, btw.

Adam                 adam at

More information about the l4-hackers mailing list