MicrocodeBooting.mesa
last edited by Levin on April 8, 1983 4:45 pm
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.