MicrocodeBooting.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Levin on April 8, 1983 4:45 pm
Russ Atkinson (RRA) January 29, 1985 0:52:02 am PST
Doug Wyatt, February 22, 1985 3:02:12 pm PST
MicrocodeBooting: DEFINITIONS
= BEGIN
Microcode booting control:
BootFileNumber: TYPE = RECORD [CARDINAL];
nullBootFileNumber: BootFileNumber = [0];
BootSpecificMicrocode:
PROC [bfn: BootFileNumber];
If bfn=nullBootFileNumber, performs default booting action (usually from disk). Otherwise boots the specified microcode from an Ethernet boot server. Attempting to boot nonexistent microcode has undefined results usually requiring manual intervention.
Machine-independent microcode enumeration:
MicrocodeType:
TYPE = {
Alto Emulator based microcode:
altoMesa, lisp, smalltalk76, smalltalk80,
Pilot based microcode:
pilotMesa, cedarMesa
};
GetBootFileNumber:
PROC [type: MicrocodeType]
RETURNS [bfn: BootFileNumber];
Returns the BootFileNumber of the specified microcode for this machine and (in the case of pilotMesa or cedarMesa) for the release of Pilot currently running on this machine. Returns nullBootFileNumber if no such microcode is known to exist.
END.