//DEVCHK   EXEC PGM=TSGDEVCK
//SYSPRINT DD SYSOUT=A
//SYSABEND DD SYSOUT=A
//SYSUDUMP DD SYSOUT=A
//SYSIN    DD DATA,DLM=@@
* This file contains all the device numbers that need to checked at IPL
* time by the 'DEVCHK' exec.                          Ashley - TSG.
*
* Device Number   Devtype      Comments
* -------------   -------      --------
     CPU0          PROC-00     Processor Engine
     CPU1          PROC-01     Processor Engine
     CPU2          PROC-02     Processor Engine
*
     050           CTLR        Comms controller
     060           CTLR        'Other side' of the 3745
     0E0           CTLR        DEC Gateway
     120-12F       DASD        DASD strings
     140-14F       DASD
     440-447       DASD
     480-48F       DEV         Unsupported 3380K DASD
     490-49F       DEV
     4C0-4CF       DASD        3390-2
     4D0-4DB       DASD
     E40-E47       TAPE        Cartridge drives
*    E80-E81       TAPE        Tape drives
     606           PRT         New AFP printer
     607           PRT         Impact printer
     60D           PRT         Impact printer
     B20-B3F       GRAF        Local terminals
     B40-B5F       GRAF
     B60-B7F       GRAF
     B80-B9F       GRAF
     BA0-BBF       GRAF
     BC0-BDF       GRAF
     BE0-BFF       GRAF
     C20-C3F       GRAF
     C40-C5F       GRAF
     C60-C7F       GRAF
     C80-C9F       GRAF
     CA0-CBF       GRAF
     CC0-CDF       GRAF
     CE0-CFF       GRAF
     300-31F       GRAF
     320-33F       GRAF
     340-35F       GRAF
     360-37F       GRAF
     380-39F       GRAF
     F03           PRT         3827
     F0E           PRT         Laser printer
@@