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
menu.lst.gz
Description: Binary data
console.log.gz
Description: Binary data
_______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
