Hi, I think we need a flag in the device structure to mark the type of the device more properly than the device ops does. In particular, I am worried about someone sending an io perm modify IPC to a non-io perm device port, it doesn't look to me as if I coded any guard against this into it.
Thanks, Marcus -- `Rhubarb is no Egyptian god.' GNU http://www.gnu.org [EMAIL PROTECTED] Marcus Brinkmann The Hurd http://www.gnu.org/software/hurd/ [EMAIL PROTECTED] http://www.marcus-brinkmann.de/ _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
