keves%osiris@UCSD.EDU (Brian Keves) (01/20/89)
Please take my e-mail address of your mailing list for xinu. Thanks, Brian Keves keves@ucsd.edu or keves%osiris@ucsd.edu