TBD, see: <http://lists.gnu.org/archive/html/l4-hurd/2006-05/msg00184.html> (whole thread), <http://lists.gnu.org/archive/html/l4-hurd/2006-05/msg00232.html>. Also, marcus pointed out his plan to write this up as a paper.

-- [[Main/TomBachmann]] - 31 Aug 2006