enable kmsg by default?

[Marcus Brinkmann]

Hi,

gnumach/README:

If you want to use the kmsg device, specify --enable-kmsg to
configure. It is disabled by default, because we assume that it is
unstable and there is no appropriate translator for it.

It is tested by now, being the default in the Debian package for a long
time, and we have streamio in the Hurd.  How about making it the default and
changing the readme?

"If you don't want to use the kmsg device, specify --disable-kmsg to
 configure."

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org brinkmd@debian.org
Marcus Brinkmann              GNU    http://www.gnu.org    marcus@gnu.org
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de