KernelSave.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Willie-Sue, September 29, 1987 11:15:53 am PDT
@kernelSaveDefs.cm@ -- micro -u -o kernelSaveDefs -s kernelSaveDefs -b d1Lang kernelAlu preamble
@kernelPostamble.cm@ -- micro -u -o kernelSaveDefs -r kernelPostamble -b postamble