Kernel5.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Willie-Sue, September 29, 1987 11:15:01 am PDT
micro -u -o kernelSaveDefs -r kernel5