problem deploying l4env

Hello, I tried to build an l4env enabled simple hello world server, but I was not able to deploy it, because the l4env-servers did not start up. (Hello in sigma0-mode did work.) I have attached output from serial console and menu.lst from grub. Thanks, Christoph