TBD, see:

* <http://lists.gnu.org/archive/html/l4-hurd/2005-10/msg00157.html>
* <http://lists.gnu.org/archive/html/l4-hurd/2006-05/msg00056.html>

-- [[Main/TomBachmann]] - 16 May 2006