-- File: BootingWart.mesa - last edit:
-- AOF                 15-Feb-88 14:17:24

-- Copyright (C) 1988 by Xerox Corporation. All rights reserved.

DIRECTORY
  HostNumbers USING [HostNumber],
  System USING[defaultSwitches, NetworkAddress, Switches];

BootingWart: DEFINITIONS =
  BEGIN

  EthernetRequest: TYPE = MACHINE DEPENDENT RECORD[
    bfn (0:0..47): EthernetBootFileNumber,
    address (3:0..95): System.NetworkAddress];

  EthernetBootFileNumber: TYPE = RECORD [HostNumbers.HostNumber];
  
  BootFromEthernet: TYPE = PROCEDURE [
    ethernetRequest: EthernetRequest, deviceOrdinal: CARDINAL ¬ 0,
    switches:System.Switches ¬ System.defaultSwitches];
    
  BootFromEthernetOne: TYPE = PROCEDURE [
    bootFileNumber, net, host:CARDINAL, deviceOrdinal: CARDINAL ¬ 0,
    switches: System.Switches ¬ System.defaultSwitches];

  Interface: TYPE = RECORD[
    bootFromEthernet: BootFromEthernet,
    bootFromEthernetOne: BootFromEthernetOne];

  interface: Interface;  --exported by BootingWartOld, imported by BootingWartNew
  
  END...