Hi,
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 `__cxa_guard_release'
maybe my gcc is too old. my gcc version is gcc-3.4.2.6-fc3