Kernel2.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Willie-Sue, September 29, 1987 11:13:39 am PDT
micro -u -o kernelSaveDefs -r kernel2