An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120814/4bb6c2bb/attachment.htm> -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: log.txt URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120814/4bb6c2bb/attachment-0001.txt>