Removing support for NORMA from GNU Mach

Hi!

Are there any objections that I remove the public header / definition
files `include/mach/mach_norma.defs', `include/mach/norma_task.defs' and
`include/mach/norma_special_ports.h' from GNU Mach?

My mail to bug-hurd about removing the broken NORMA code is attached.


Regards,
 Thomas

_______________________________________________
Hurd-devel-readers mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/hurd-devel-readers