L4Env Building Problem!

Marius.bao marius.bao at gmail.com
Wed Jun 13 09:31:39 CEST 2007

>Could you find out which dice binary is used (run "make V=1" in one of
>the idl directories, for instance tudos/l4/pkg/names/idl)? And then run
>that binary with the --version option and post the output here?
It turned out that i used an old version of DICE, I update to the
latest version, and it works correctly.
Thanks a lot :)

when I compiled the bootstrap package, another problem occured:
l4/pkg/bootstrap/server/src/startup.cc:215: undefined reference to

maybe my gcc is too old. my gcc version is gcc-

More information about the l4-hackers mailing list