Re: Kernel crash on device_map DEVICE_NULL

[Roland McGrath]

> Okay, while I look for oskit-mach (is it to the point yet where one
> might link to it from the GNU Mach pages?), 

There must be a FAQ entry somewhere that tells you it's the oskit-branch of
the gnumach cvs module.

> following (untested!) patch for gnumach in light of
> http://mail.gnu.org/pipermail/bug-hurd/1999-December/000862.html
> "Non-root user can read raw disk!":

To my knowledge noone has verified this problem exists or looked into it.

> 2001-11-24  John Tobey  <jtobey@john-edwin-tobey.org>
> 
>       * device/ds_routines.c (device_open): Require master device port
>       for i386.

This change doesn't make sense.  See i386/i386at/i386at_ds_routines.c,
which is where the real device server functions are in gnumach.