GENERIC revision 1.173
1 # $NetBSD: GENERIC,v 1.173 2019/04/26 21:40:29 sevan Exp $ 2 # 3 # GENERIC machine description file 4 # 5 # This machine description file is used to generate the default NetBSD 6 # kernel. The generic kernel does not include all options, subsystems 7 # and device drivers, but should be useful for most applications. 8 # 9 # The machine description file can be customised for your specific 10 # machine to reduce the kernel size and improve its performance. 11 # 12 # For further information on compiling NetBSD kernels, see the config(8) 13 # man page. 14 # 15 # For further information on hardware support for this architecture, see 16 # the intro(4) man page. For further information about kernel options 17 # for this architecture, see the options(4) man page. For an explanation 18 # of each device driver in this file see the section 4 man page for the 19 # device. 20 21 include "arch/cats/conf/std.cats" 22 23 options INCLUDE_CONFIG_FILE # embed config file in kernel binary 24 25 # estimated number of users 26 27 maxusers 32 28 29 # Standard system options 30 31 options INSECURE # disable kernel securelevel 32 33 options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 34 options NTP # NTP phase/frequency locked loop 35 36 # experimental ELF support when used on a CATS board running ABLE 37 #options ABLEELF 38 #makeoptions ABLEELF="1" 39 40 # Alternate buffer queue strategies for better responsiveness under high 41 # disk I/O load. 42 #options BUFQ_READPRIO 43 options BUFQ_PRIOCSCAN 44 45 # CPU options 46 47 # For StrongARM systems 48 options CPU_SA110 # Support the SA110 core 49 makeoptions CPUFLAGS="-march=armv4 -mtune=strongarm" 50 #options VERBOSE_INIT_ARM 51 #options FCOM_INIT_ARM # early console attach 52 53 # File systems 54 55 file-system FFS # UFS 56 #file-system LFS # log-structured file system 57 file-system MFS # memory file system 58 file-system NFS # Network file system 59 #file-system ADOSFS # AmigaDOS-compatible file system 60 #file-system EXT2FS # second extended file system (linux) 61 file-system CD9660 # ISO 9660 + Rock Ridge file system 62 file-system MSDOSFS # MS-DOS file system 63 file-system FDESC # /dev/fd 64 file-system KERNFS # /kern 65 file-system NULLFS # loopback file system 66 #file-system OVERLAY # overlay filesystem 67 file-system PUFFS # Userspace file systems (e.g. ntfs-3g & sshfs) 68 file-system PROCFS # /proc 69 file-system UMAPFS # NULLFS + uid and gid remapping 70 file-system UNION # union file system 71 #file-system CODA # Coda File System; also needs vcode (below) 72 file-system PTYFS # /dev/pts/N support 73 file-system TMPFS # Efficient memory file-system 74 #file-system UDF # experimental - OSTA UDF CD/DVD file-system 75 76 # File system options 77 options QUOTA # legacy UFS quotas 78 options QUOTA2 # new, in-filesystem UFS quotas 79 #options FFS_EI # FFS Endian Independent support 80 options NFSSERVER 81 options WAPBL # File system journaling support 82 #options UFS_DIRHASH # UFS Large Directory Hashing - Experimental 83 #options FFS_NO_SNAPSHOT # No FFS snapshot support 84 options UFS_EXTATTR # Extended attribute support for UFS1 85 86 # Networking options 87 88 #options GATEWAY # packet forwarding 89 options INET # IP + ICMP + TCP + UDP 90 options INET6 # IPV6 91 #options IPSEC # IP security 92 #options IPSEC_DEBUG # debug for IP security 93 #options MROUTING # IP multicast routing 94 #options PIM # Protocol Independent Multicast 95 #options NETATALK # AppleTalk networking 96 options PPP_BSDCOMP # BSD-Compress compression support for PPP 97 options PPP_DEFLATE # Deflate compression support for PPP 98 options PPP_FILTER # Active filter support for PPP (requires bpf) 99 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 100 101 #options ALTQ # Manipulate network interfaces' output queues 102 #options ALTQ_BLUE # Stochastic Fair Blue 103 #options ALTQ_CBQ # Class-Based Queueing 104 #options ALTQ_CDNR # Diffserv Traffic Conditioner 105 #options ALTQ_FIFOQ # First-In First-Out Queue 106 #options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box) 107 #options ALTQ_HFSC # Hierarchical Fair Service Curve 108 #options ALTQ_LOCALQ # Local queueing discipline 109 #options ALTQ_PRIQ # Priority Queueing 110 #options ALTQ_RED # Random Early Detection 111 #options ALTQ_RIO # RED with IN/OUT 112 #options ALTQ_WFQ # Weighted Fair Queueing 113 114 options NFS_BOOT_BOOTP 115 options NFS_BOOT_DHCP 116 #options NFS_BOOT_BOOTPARAM 117 118 # Compatibility options 119 120 include "conf/compat_netbsd13.config" 121 options COMPAT_NETBSD32 # allow running arm (e.g. non-earm) binaries 122 123 # Shared memory options 124 125 options SYSVMSG # System V-like message queues 126 options SYSVSEM # System V-like semaphores 127 options SYSVSHM # System V-like memory sharing 128 129 # Device options 130 131 #options MEMORY_DISK_HOOKS # boottime setup of ramdisk 132 #options MEMORY_DISK_ROOT_SIZE=3400 # Size in blocks 133 #options MEMORY_DISK_IS_ROOT # use memory disk as root 134 135 # Miscellaneous kernel options 136 options KTRACE # system call tracing, a la ktrace(1) 137 #options IRQSTATS # manage IRQ statistics 138 options SCSIVERBOSE # Verbose SCSI errors 139 options PCIVERBOSE # Verbose PCI descriptions 140 options MIIVERBOSE # verbose PHY autoconfig messages 141 #options PCI_CONFIG_DUMP # verbosely dump PCI config space 142 options USBVERBOSE # verbose USB device autoconfig messages 143 options USERCONF # userconf(4) support 144 #options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 145 options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel 146 147 # if set defines a keycode for the fcom console to break into ddb. 148 # 0x40 == @, see man ascii(7) 149 #options DDB_KEYCODE=0x40 150 151 # wscons options 152 #options WSEMUL_SUN # sun terminal emulation 153 options WSEMUL_VT100 # VT100 / VT220 emulation 154 # different kernel output - see dev/wscons/wsdisplayvar.h 155 options WS_KERNEL_FG=WSCOL_GREEN 156 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls 157 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls 158 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling 159 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes 160 # see dev/wscons/wskbdmap_mfii.h for implemented layouts 161 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" 162 163 # Development and Debugging options 164 165 #options PORTMASTER # Enable PortMaster only options 166 #options DIAGNOSTIC # internal consistency checks 167 #options PMAP_DEBUG # Enable pmap_debug_level code 168 options DDB # in-kernel debugger 169 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB 170 #makeoptions DEBUG="-g" # compile full symbol table 171 #makeoptions COPY_SYMTAB=1 172 173 config netbsd root on ? type ? 174 175 # The main bus device 176 mainbus0 at root 177 178 # The boot CPU 179 cpu0 at mainbus? 180 181 # Core logic 182 footbridge0 at mainbus? 183 184 # footbridge uart 185 fcom0 at footbridge? 186 187 # system clock via footbridge 188 #clock* at footbridge? 189 190 # PCI bus support 191 # PCI bus via footbridge 192 pci0 at footbridge? # PCI bus 193 194 pci* at ppb? bus ? 195 196 # PCI bridges 197 ppb* at pci? dev ? function ? # PCI-PCI bridges 198 # XXX 'puc's aren't really bridges, but there's no better place for them here 199 #puc* at pci? dev ? function ? # PCI "universal" comm. cards 200 201 # Cryptographic Devices 202 203 # PCI cryptographic devices 204 #hifn* at pci? dev ? function ? # Hifn 7755/7811/795x 205 #ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x 206 207 208 # PCI serial interfaces 209 #com* at puc? port ? # 16x50s on "universal" comm boards 210 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 211 212 # PCI parallel printer interfaces 213 #lpt* at puc? port ? # || ports on "universal" comm boards 214 215 # PCI SCSI Controllers and Buses 216 #adv* at pci? dev ? function ? # AdvanSys 1200[A,B], ULTRA SCSI 217 #scsibus* at adv? 218 #adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI 219 #scsibus* at adw? 220 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI controllers 221 #scsibus* at ahc? 222 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 223 #scsibus* at bha? 224 #iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI 225 #scsibus* at iha? 226 #isp* at pci? dev ? function ? # Qlogic ISP 10x0 SCSI controllers 227 #scsibus* at isp? 228 #pcscp* at pci? dev ? function ? # AMD 53c974 PCscsi-PCI SCSI 229 #scsibus* at pcscp? 230 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 231 #scsibus* at siop? 232 #esiop* at pci? dev ? function ? # NCR 53c875 SCSI and newer 233 #scsibus* at esiop? 234 235 # SCSI devices 236 #sd* at scsibus? target ? lun ? # SCSI disk drives 237 #st* at scsibus? target ? lun ? # SCSI tape drives 238 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 239 #ch* at scsibus? target ? lun ? # SCSI auto-changers 240 #uk* at scsibus? target ? lun ? # SCSI unknown device 241 #ss* at scsibus? target ? lun ? # SCSI scanner 242 243 # PCI IDE Controllers and Devices 244 # PCI IDE controllers - see pciide(4) for supported hardware. 245 # The 0x0001 flag force the driver to use DMA, even if the driver doesn't know 246 # how to set up DMA modes for this chip. This may work, or may cause 247 # a machine hang with some controllers. 248 #pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver 249 #acardide* at pci? dev ? function ? # Acard IDE controllers 250 aceride* at pci? dev ? function ? # Acer Lab IDE controllers 251 #artsata* at pci? dev ? function ? # Intel i31244 SATA controller 252 #cmdide* at pci? dev ? function ? # CMD tech IDE controllers 253 #cypide* at pci? dev ? function ? # Cypress IDE controllers 254 #hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers 255 #optiide* at pci? dev ? function ? # Opti IDE controllers 256 #pdcide* at pci? dev ? function ? # Promise IDE controllers 257 #pdcsata* at pci? dev ? function ? # Promise SATA150 controllers 258 #satalink* at pci? dev ? function ? # SiI SATALink controllers 259 #siside* at pci? dev ? function ? # SiS IDE controllers 260 #slide* at pci? dev ? function ? # Symphony Labs IDE controllers 261 #viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers 262 263 # ATA (IDE) bus support 264 atabus* at ata? 265 266 # IDE drives 267 # Flags are used only with controllers that support DMA operations 268 # and mode settings (e.g. some pciide controllers) 269 # The lowest order four bits (rightmost digit) of the flags define the PIO 270 # mode to use, the next set of four bits the DMA mode and the third set the 271 # UltraDMA mode. For each set of four bits, the 3 lower bits define the mode 272 # to use, and the last bit must be 1 for this setting to be used. 273 # For DMA and UDMA, 0xf (1111) means 'disable'. 274 # 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'. 275 # (0xc=1100, 0xa=1010, 0xf=1111) 276 # 0x0000 means "use whatever the drive claims to support". 277 wd* at atabus? drive ? flags 0x0000 # the drives themselves 278 279 # ATAPI bus support 280 atapibus* at atapi? 281 282 # ATAPI devices 283 cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives 284 sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives 285 uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown 286 287 # PCI network interfaces 288 ep* at pci? dev ? function ? # 3C590 ethernet cards 289 ex* at pci? dev ? function ? # 3Com 90x[B] 290 epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 291 #esh* at pci? dev ? function ? # Essential HIPPI card 292 #fpa* at pci? dev ? function ? # DEC DEFPA FDDI 293 fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 294 #le* at pci? dev ? function ? # PCnet-PCI Ethernet 295 ne* at pci? dev ? function ? # NE2000 compat ethernet 296 #ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial 297 sip* at pci? dev ? function ? # SiS 900 Ethernet 298 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 299 tlp* at pci? dev ? function ? # DECchip 21x4x and clones 300 vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet 301 rtk* at pci? dev ? function ? # Realtek 8129/8139 302 303 # MII/PHY support 304 acphy* at mii? phy ? # DAltima AC101 and AMD Am79c874 PHYs 305 amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs 306 bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs 307 brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs 308 dmphy* at mii? phy ? # Davicom DM9101 PHYs 309 exphy* at mii? phy ? # 3Com internal PHYs 310 glxtphy* at mii? phy ? # Level One LXT-1000 PHYs 311 gphyter* at mii? phy ? # NS83861 Gig-E PHY 312 icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x 313 inphy* at mii? phy ? # Intel 82555 PHYs 314 iophy* at mii? phy ? # Intel 82553 PHYs 315 lxtphy* at mii? phy ? # Level One LXT-970 PHYs 316 makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs 317 nsphy* at mii? phy ? # NS83840 PHYs 318 nsphyter* at mii? phy ? # NS83843 PHYs 319 pnaphy* at mii? phy ? # generic HomePNA PHYs 320 qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 321 rgephy* at mii? phy ? # Realtek 8169S/8110S/8211 PHYs 322 rlphy* at mii? phy ? # Realtek 8139/8201L PHYs 323 sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 324 tlphy* at mii? phy ? # ThunderLAN PHYs 325 tqphy* at mii? phy ? # TDK Semiconductor PHYs 326 ukphy* at mii? phy ? # generic unknown PHYs 327 urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs 328 329 # USB Controller and Devices 330 331 # PCI USB controllers 332 ohci* at pci? # Open Host Controller 333 334 # USB bus support 335 usb* at ohci? 336 337 # USB Hubs 338 uhub* at usb? 339 uhub* at uhub? port ? 340 341 # USB HID device 342 uhidev* at uhub? port ? configuration ? interface ? 343 344 # USB Mice 345 ums* at uhidev? reportid ? 346 wsmouse* at ums? 347 348 # USB Keyboards 349 ukbd* at uhidev? reportid ? 350 wskbd* at ukbd? console ? 351 352 # USB serial adapter 353 ucycom* at uhidev? reportid ? 354 355 # USB Generic HID devices 356 uhid* at uhidev? reportid ? 357 358 # USB Printer 359 ulpt* at uhub? port ? configuration ? interface ? 360 361 # USB Modem 362 umodem* at uhub? port ? configuration ? 363 ucom* at umodem? 364 365 # USB Mass Storage 366 umass* at uhub? port ? configuration ? interface ? 367 scsibus* at umass? channel ? 368 369 # USB audio 370 uaudio* at uhub? port ? configuration ? 371 audio* at uaudio? 372 373 # USB MIDI 374 umidi* at uhub? port ? configuration ? 375 midi* at umidi? 376 377 # USB Ethernet adapters 378 aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters 379 axe* at uhub? port ? # ASIX AX88172 based adapters 380 cue* at uhub? port ? # CATC USB-EL1201A based adapters 381 kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters 382 mue* at uhub? port ? # Microchip LAN75xx/LAN78xx based adapters 383 ure* at uhub? port ? # Realtek RTL8152/RTL8153 based adapters 384 url* at uhub? port ? # Realtek RTL8150L based adapters 385 udav* at uhub? port ? # Davicom DM9601 based adapters 386 387 # Prolific PL2301/PL2302 host-to-host adapter 388 upl* at uhub? port ? 389 390 # Serial adapters 391 # FTDI FT8U100AX serial adapter 392 uftdi* at uhub? port ? 393 ucom* at uftdi? portno ? 394 395 uplcom* at uhub? port ? # I/O DATA USB-RSAQ2 serial adapter 396 ucom* at uplcom? portno ? 397 398 umct* at uhub? port ? # MCT USB-RS232 serial adapter 399 ucom* at umct? portno ? 400 401 # Diamond Multimedia Rio 500 402 urio* at uhub? port ? 403 404 # USB Handspring Visor 405 uvisor* at uhub? port ? 406 ucom* at uvisor? 407 408 # Kyocera AIR-EDGE PHONE 409 ukyopon* at uhub? port ? 410 ucom* at ukyopon? portno ? 411 412 # USB scanners 413 #uscanner* at uhub? port ? 414 415 # USB scanners that use SCSI emulation, e.g., HP5300 416 usscanner* at uhub? port ? 417 scsibus* at usscanner? channel ? 418 419 # Y@P firmware loader 420 uyap* at uhub? port ? 421 422 # USB Generic driver 423 ugen* at uhub? port ? 424 425 # Audio Devices 426 427 # PCI audio devices 428 #eap* at pci? dev ? function ? # Ensoniq AudioPCI 429 #sv* at pci? dev ? function ? # S3 SonicVibes 430 431 # Audio support 432 #audio* at eap? 433 #audio* at sv? 434 435 vga* at pci? 436 wsdisplay* at vga? console ? 437 438 # ISA bus bridging 439 440 pcib* at pci? dev ? function ? # PCI-ISA bridge 441 isa* at pcib? # ISA bus 442 443 # ISA Plug-and-Play bus support 444 isapnp0 at isa? 445 446 # wscons 447 pckbc0 at isa? # pc keyboard controller 448 pckbd* at pckbc? # PC keyboard 449 pms* at pckbc? # PS/2 mouse for wsmouse 450 wskbd* at pckbd? console ? 451 wsmouse* at pms? 452 453 attimer0 at isa? 454 pcppi0 at isa? 455 sysbeep0 at pcppi? 456 457 # ISA Plug-and-Play serial interfaces 458 com* at isapnp? # Modems and serial boards 459 460 # ISA Plug-and-Play network interfaces 461 ep* at isapnp? # 3Com 3c509 Ethernet 462 fmv* at isapnp? # Fujitsu FMV-183 463 ne* at isapnp? # NE2000-compatible 464 465 # ISA serial interfaces 466 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 467 com1 at isa? port 0x2f8 irq 3 468 #com2 at isa? port 0x3e8 irq 9 469 #com3 at isa? port 0x2e8 irq 10 470 471 # ISA parallel printer interfaces 472 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 473 lpt1 at isa? port 0x278 irq 5 474 #lpt2 at isa? port 0x3bc 475 476 # ISA floppy 477 #fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 478 #fdc1 at isa? port 0x370 irq ? drq ? 479 #fd* at fdc? drive ? # the drives themselves 480 481 # ISA network interface 482 #ne0 at isa? port 0x280 irq 9 483 #ne1 at isa? port 0x300 irq 10 484 #ep* at isa? port ? irq ? 485 486 # The spkr driver provides a simple tone interface to the built in speaker. 487 spkr* at pcppi? # PC speaker 488 spkr* at audio? # PC speaker (synthesized) 489 490 ds1687rtc0 at isa? port 0x72 # Dallas 1687 RTC 491 492 # ISA Plug-and-Play audio devices 493 ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio 494 sb* at isapnp? # SoundBlaster-compatible audio 495 wss* at isapnp? # Windows Sound System 496 497 # OPL[23] FM syntheziers 498 opl* at ess? 499 opl* at sb? 500 501 # Audio support 502 audio* at ess? 503 audio* at sb? 504 audio* at wss? 505 506 # MPU 401 UARTs 507 #mpu* at sb? 508 509 # MIDI support 510 midi* at pcppi? # MIDI interface to the PC speaker 511 midi* at sb? # SB MPU401 port 512 midi* at opl? # OPL FM synth 513 #midi* at mpu? # MPU 401 514 515 # Joysticks 516 517 # ISA Plug-and-Play joysticks 518 joy* at isapnp? # Game ports (usually on audio cards) 519 520 # ISA joysticks. Probe is a little strange; add only if you have one. 521 #joy0 at isa? port 0x201 522 523 # Pseudo-Devices 524 525 #pseudo-device crypto # /dev/crypto device 526 #pseudo-device swcrypto # software crypto implementation 527 528 # disk/mass storage pseudo-devices 529 pseudo-device ccd # concatenated/striped disk devices 530 pseudo-device fss # file system snapshot device 531 #pseudo-device cgd # cryptographic disk devices 532 pseudo-device md # memory disk device (ramdisk) 533 pseudo-device vnd # disk-like interface to files 534 #options VND_COMPRESSION # compressed vnd(4) 535 pseudo-device putter # for puffs and pud 536 537 # network pseudo-devices 538 pseudo-device bpfilter # Berkeley packet filter 539 pseudo-device carp # Common Address Redundancy Protocol 540 #pseudo-device npf # NPF packet filter 541 pseudo-device loop # network loopback 542 pseudo-device ppp # Point-to-Point Protocol 543 pseudo-device pppoe # PPP over Ethernet (RFC 2516) 544 #pseudo-device sl # Serial Line IP 545 #pseudo-device strip # Starmode Radio IP (Metricom) 546 pseudo-device tun # network tunneling over tty 547 pseudo-device tap # virtual Ethernet 548 pseudo-device gre # generic L3 over IP tunnel 549 pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933) 550 #pseudo-device faith # IPv[46] tcp relay translation i/f 551 pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation 552 pseudo-device vlan # IEEE 802.1q encapsulation 553 pseudo-device bridge # simple inter-network bridging 554 #options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too 555 pseudo-device agr # IEEE 802.3ad link aggregation 556 557 # 558 # accept filters 559 pseudo-device accf_data # "dataready" accept filter 560 pseudo-device accf_http # "httpready" accept filter 561 562 # miscellaneous pseudo-devices 563 pseudo-device pty # pseudo-terminals 564 pseudo-device sequencer # MIDI sequencer 565 #options RND_COM # use "com" randomness as well (BROKEN) 566 pseudo-device clockctl # user control of clock subsystem 567 pseudo-device drvctl # user control of drive subsystem 568 569 # a pseudo device needed for Coda # also needs CODA (above) 570 #pseudo-device vcoda # coda minicache <-> venus comm. 571 572 # mouse & keyboard multiplexor pseudo-devices 573 pseudo-device wsmux 574 pseudo-device wsfont 575 pseudo-device ksyms # /dev/ksyms 576 577 include "dev/veriexec.config" 578
Indexes created Thu Oct 02 14:10:14 GMT 2025