Running custom base servers

[Ludovic Courtès]

Hi,

Currently, the exec server seems to be the only base server which can be
dynamically changed by setting the appropriate environment variable (at
least theoritically since this code is commented out).

If a user wants to use a custom base server (one of those that lie
in /servers) instead of/stacked on top of the original equivalent
Hurd server, the only solution would be to chroot to an environment
where the root is a unionfs of the real root filesystem and of a
user-provided servers directory.  Thus, the C library (and other
programs) would transparently use the user-provided servers.

However, would unionfs be able to "override" the original /servers
directory with the user-provided directory?  In short, would it really
work as expected? ;)

Thanks,
Ludovic.