Reporting Problems

Problems can be reported to xkernel-bugs@cs.arizona.edu, but problems and discussion that are specific to MachNetIPC should go to xkernel-mnipc@cs.arizona.edu; if you wish to be a member of this list send a note to xkernel-mnipc-request. If you aren't sure which list to use for a problem, use xkernel-bugs.