etc/drivers.conf

   1 driver floppy
   2 {
   3         irq     6;
   4         io      3f0:8
   5                 0:10    # XXX DMA controller
   6                 81      # Also DMA
   7                 ;
   8         system
   9                 UMAP            # 14
  10                 VIRCOPY         # 15
  11                 IRQCTL          # 19
  12                 DEVIO           # 21
  13                 VDEVIO          # 23
  14                 SETALARM        # 24
  15                 TIMES           # 25
  16                 SAFECOPYFROM    # 31
  17                 SAFECOPYTO      # 32
  18                 ;
  19 };
  20
  21 driver dp8390
  22 {
  23         system
  24                 KILL            #  6
  25                 VIRCOPY         # 15
  26                 IRQCTL          # 19
  27                 DEVIO           # 21
  28                 SDEVIO          # 22
  29                 SETALARM        # 24
  30                 GETINFO         # 26
  31                 SAFECOPYFROM    # 31
  32                 SAFECOPYTO      # 32
  33                 SETGRANT        # 34
  34         ;
  35         pci device      10ec/8029;
  36         uid     0;
  37 };
  38
  39 driver dumpcore
  40 {
  41         system
  42                 TRACE           #  5
  43                 VIRCOPY         # 15
  44                 GETINFO         # 26
  45                 SETGRANT        # 34
  46         ;
  47 };
  48
  49 driver inet
  50 {
  51         system
  52                 KILL            #  6
  53                 SETALARM        # 24
  54                 TIMES           # 25
  55                 SAFECOPYFROM    # 31
  56                 SAFECOPYTO      # 32
  57                 VSAFECOPY       # 33
  58                 SETGRANT        # 34
  59         ;
  60         uid 0;
  61 };
  62
  63 driver random
  64 {
  65         system
  66                 KILL            #  6
  67                 UMAP            # 14
  68                 SETALARM        # 24
  69                 GETINFO         # 26
  70                 SAFECOPYFROM    # 31
  71                 SAFECOPYTO      # 32
  72                 SETGRANT        # 34
  73         ;
  74 };
  75
  76 driver readclock.drv
  77 {
  78         io      70:2;
  79         system
  80                 DEVIO           # 21
  81                 TIMES           # 25
  82                 SAFECOPYTO      # 32
  83                 SAFECOPYFROM    # 32
  84                 SETGRANT        # 34
  85                 READBIOS        # 35
  86         ;
  87         uid 0;
  88 };
  89
  90 driver is
  91 {
  92         system
  93                 GETINFO         # 26
  94                 SETGRANT        # 34
  95         ;
  96         uid     0;
  97 };
  98
  99 driver pci
 100 {
 101         io      cf8:8           # PCI bus controller
 102                 4d0:2           # PIIX
 103         ;
 104         system
 105                 PRIVCTL         #  4
 106                 KILL            #  6
 107                 DEVIO           # 21
 108                 GETINFO         # 26
 109                 SAFECOPYFROM    # 31
 110                 SAFECOPYTO      # 32
 111                 SETGRANT        # 34
 112         ;
 113         uid 0;
 114 };
 115
 116 driver at_wini
 117 {
 118         io      1f0:8           # Controller 0
 119                 3f6             # Also controller 0
 120                 170:8           # Controller 1
 121                 376             # Also controller 1
 122         ;
 123         irq
 124                 14              # Controller 0
 125                 15              # Controller 1
 126         ;
 127         system
 128                 KILL            #  6
 129                 UMAP            # 14
 130                 IRQCTL          # 19
 131                 DEVIO           # 21
 132                 SDEVIO          # 22
 133                 VDEVIO          # 23
 134                 SETALARM        # 24
 135                 TIMES           # 25
 136                 GETINFO         # 26
 137                 SAFECOPYFROM    # 31
 138                 SAFECOPYTO      # 32
 139                 SETGRANT        # 34
 140                 READBIOS        # 35
 141         ;
 142         pci class
 143                 1/1             # Mass storage / IDE
 144         ;
 145 };
 146
 147 driver mfs
 148 {
 149         system
 150                 EXIT            #  2
 151                 VIRCOPY         # 15
 152                 TIMES           # 25
 153                 SAFECOPYFROM    # 31
 154                 SAFECOPYTO      # 32
 155                 SETGRANT        # 34
 156                 ;
 157         uid     0;
 158 };
 159
 160 driver printer
 161 {
 162         io      378:4           # LPT1
 163                 278:4           # LPT2
 164         ;
 165         irq
 166                 7               # PRINTER_IRQ
 167         ;
 168         system
 169                 KILL            #  6
 170                 SETGRANT        # 34
 171                 UMAP            # 14
 172                 VIRCOPY         # 15
 173                 IRQCTL          # 19
 174                 DEVIO           # 21
 175                 VDEVIO          # 23
 176                 SAFECOPYFROM    # 31
 177                 SAFECOPYTO      # 32
 178         ;
 179 };
 180
 181 driver dpeth
 182 {
 183         system
 184                 IRQCTL          # 19
 185                 DEVIO           # 21
 186                 SDEVIO          # 22
 187                 SETALARM        # 24
 188                 GETINFO         # 26
 189                 SAFECOPYFROM    # 31
 190                 SAFECOPYTO      # 32
 191                 SETGRANT        # 34
 192         ;
 193         uid     0;
 194 };
 195
 196