Dope seems to offer a subset of the functionality of the features of Mag. What is the motivation to keeping both DoPE and Mag? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120710/b6dd1f76/attachment.html>