-- File: BootingWartNew.mesa - last edit:
-- AOF                 15-Feb-88 14:35:53

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

DIRECTORY
  Boot USING[EthernetRequest],
  BootingWart USING[Interface, interface],
  SpecialBooting USING[],
  System USING[defaultSwitches, Switches];

BootingWartNew: PROGRAM
  IMPORTS BootingWart EXPORTS SpecialBooting =
  BEGIN
  BootFromEthernet: PUBLIC <<SpecialBooting>> PROC[
    ethernetRequest: Boot.EthernetRequest, deviceOrdinal: CARDINAL ← 0,
    switches: System.Switches ← System.defaultSwitches] =
    {BootingWart.interface.bootFromEthernet[
      LOOPHOLE[ethernetRequest], deviceOrdinal, switches]};

  BootFromEthernetOne: PUBLIC <<SpecialBooting>> PROC[
    bootFileNumber, net, host: CARDINAL, deviceOrdinal:CARDINAL ← 0,
    switches: System.Switches ← System.defaultSwitches] =
    {BootingWart.interface.bootFromEthernetOne[
      bootFileNumber, net, host, deviceOrdinal, switches]};
  END...   --BootingWartNew