problem deploying l4env

[Christoph Mueller]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: menu.lst.gz
Type: application/octet-stream
Size: 296 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050825/7e1d1d8f/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: console.log.gz
Type: application/octet-stream
Size: 1477 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050825/7e1d1d8f/attachment-0001.obj>