Markus Brinkmann made the effort to sketch precisely the principles that motivate his choices about the design of the new Hurd, and particularily those affecting user freedom.
This effort has led to a text in two parts:
See also further commentary made on the l4-hurd list: http://lists.gnu.org/archive/html/l4-hurd/2006-08/msg00123.html