GENERIC revision 1.210
1# $NetBSD: GENERIC,v 1.210 1998/12/16 11:42:07 christos Exp $ 2# 3# GENERIC -- everything that's currently supported 4# 5 6include "arch/i386/conf/std.i386" 7 8maxusers 32 # estimated number of users 9 10# CPU support. At least one is REQUIRED. 11options I386_CPU 12options I486_CPU 13options I586_CPU 14options I686_CPU 15 16# CPU-related options. 17options MATH_EMULATE # floating point emulation 18#options VM86 # virtual 8086 emulation 19options USER_LDT # user-settable LDT; used by WINE 20# eliminate delay no-ops in I/O; recommended on all but very old machines 21#options DUMMY_NOPS 22 23# delay between "rebooting ..." message and hardware reset, in milliseconds 24#options CPURESET_DELAY=2000 25 26# Misc. i386-specific options 27options XSERVER # X server support in console drivers 28#options XSERVER_DDB # PF12 gets you into DDB when X is running 29 30# This option allows you to force a serial console at the specified 31# I/O address. see console(4) for details. 32#options "CONSDEVNAME=\"com\"",CONADDR=0x2f8,CONSPEED=57600 33# you don't want the option below ON iff you are using the 34# serial console option of the new boot strap code. 35#options CONS_OVERRIDE # Always use above! independent of boot info 36 37# The following options override the memory sizes passed in from the boot 38# block. Use them *only* if the boot block is unable to determine the correct 39# values. Note that the BIOS may *correctly* report less than 640k of base 40# memory if the extended BIOS data area is located at the top of base memory 41# (as is the case on most recent systems). 42#options REALBASEMEM=639 # size of base memory (in KB) 43#options REALEXTMEM=15360 # size of extended memory (in KB) 44 45# Standard system options 46 47options UCONSOLE # users can use TIOCCONS (for xconsole) 48options INSECURE # disable kernel security levels 49 50options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 51#options NTP # NTP phase/frequency locked loop 52 53options KTRACE # system call tracing via ktrace(1) 54 55options SYSVMSG # System V-like message queues 56options SYSVSEM # System V-like semaphores 57options SYSVSHM # System V-like memory sharing 58#options SHMMAXPGS=1024 # 1024 pages is the default 59 60options LKM # loadable kernel modules 61 62# Diagnostic/debugging support options 63options DIAGNOSTIC # cheap kernel consistency checks 64#options DEBUG # expensive debugging checks/support 65#options KMEMSTATS # kernel memory statistics (vmstat -m) 66options DDB # in-kernel debugger 67#options DDB_HISTORY_SIZE=100 # enable history editing in DDB 68#options KGDB # remote debugger 69#options "KGDB_DEVNAME=\"com\"",KGDBADDR=0x3f8,KGDBRATE=9600 70#makeoptions DEBUG="-g" # compile full symbol table 71 72# Compatibility options 73options COMPAT_NOMID # compatibility with 386BSD, BSDI, NetBSD 0.8, 74options COMPAT_09 # NetBSD 0.9, 75options COMPAT_10 # NetBSD 1.0, 76options COMPAT_11 # NetBSD 1.1, 77options COMPAT_12 # NetBSD 1.2, 78options COMPAT_13 # NetBSD 1.3, 79options COMPAT_43 # and 4.3BSD 80options COMPAT_386BSD_MBRPART # recognize old partition ID 81 82options COMPAT_SVR4 # binary compatibility with SVR4 83options COMPAT_IBCS2 # binary compatibility with SCO and ISC 84options COMPAT_LINUX # binary compatibility with Linux 85options COMPAT_FREEBSD # binary compatibility with FreeBSD 86 87# Executable format options 88options EXEC_ELF32 # 32-bit ELF executables (SVR4, Linux) 89 90# File systems 91file-system FFS # UFS 92file-system EXT2FS # second extended file system (linux) 93file-system LFS # log-structured file system 94file-system MFS # memory file system 95file-system NFS # Network File System client 96file-system CD9660 # ISO 9660 + Rock Ridge file system 97file-system MSDOSFS # MS-DOS file system 98file-system FDESC # /dev/fd 99file-system KERNFS # /kern 100file-system NULLFS # loopback file system 101file-system PORTAL # portal filesystem (still experimental) 102file-system PROCFS # /proc 103file-system UMAPFS # NULLFS + uid and gid remapping 104file-system UNION # union file system 105file-system CODA # Coda File System; also needs vcoda (below) 106 107# File system options 108options QUOTA # UFS quotas 109#options FFS_EI # FFS Endian Independant support 110options NFSSERVER # Network File System server 111#options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 112 # immutable) behave as system flags. 113 114# Networking options 115#options GATEWAY # packet forwarding 116options INET # IP + ICMP + TCP + UDP 117#options MROUTING # IP multicast routing 118options NS # XNS 119#options NSIP # XNS tunneling over IP 120options ISO,TPIP # OSI 121options EON # OSI tunneling over IP 122options CCITT,LLC,HDLC # X.25 123options NETATALK # AppleTalk networking protocols 124#options PPP_BSDCOMP # BSD-Compress compression support for PPP 125#options PPP_DEFLATE # Deflate compression support for PPP 126#options PPP_FILTER # Active filter support for PPP (requires bpf) 127#options PFIL_HOOKS # pfil(9) packet filter hooks 128#options IPFILTER_LOG # ipmon(8) log support 129 130# Compatibility with 4.2BSD implementation of TCP/IP. Not recommended. 131#options TCP_COMPAT_42 132 133# These options enable verbose messages for several subsystems. 134# Warning, these may compile large string tables into the kernel! 135options EISAVERBOSE # verbose EISA device autoconfig messages 136options PCIVERBOSE # verbose PCI device autoconfig messages 137#options PCMCIAVERBOSE # verbose PCMCIA configuration messages 138options SCSIVERBOSE # human readable SCSI error messages 139options USBVERBOSE # verbose USB device autoconfig messages 140 141options NFS_BOOT_BOOTP,NFS_BOOT_BOOTPARAM 142 143# Kernel root file system and dump configuration. 144config netbsd root on ? type ? 145#config netbsd root on sd0a type ffs 146#config netbsd root on ? type nfs 147 148# 149# Device configuration 150# 151 152mainbus0 at root 153 154#apm0 at mainbus0 # Advanced power management 155 156 157# Basic Bus Support 158 159# PCI bus support 160pci* at mainbus? bus ? 161pci* at pchb? bus ? 162pci* at ppb? bus ? 163 164# PCI bridges 165pchb* at pci? dev ? function ? # PCI-Host bridges 166pceb* at pci? dev ? function ? # PCI-EISA bridges 167pcib* at pci? dev ? function ? # PCI-ISA bridges 168ppb* at pci? dev ? function ? # PCI-PCI bridges 169# XXX 'puc's aren't really bridges, but there's no better place for them here 170puc* at pci? dev ? function ? # PCI "universal" comm. cards 171 172# EISA bus support 173eisa* at mainbus? 174eisa* at pceb? 175 176# ISA bus support 177isa* at mainbus? 178isa* at pceb? 179isa* at pcib? 180 181# PCMCIA bus support 182pcmcia* at pcic? controller ? socket ? 183 184# ISA PCMCIA controllers 185pcic0 at isa? port 0x3e0 iomem 0xd0000 iosiz 0x4000 186pcic1 at isa? port 0x3e2 iomem 0xd4000 iosiz 0x4000 187 188# ISA Plug-and-Play bus support 189isapnp0 at isa? 190 191# ISA Plug-and-Play PCMCIA controllers 192pcic* at isapnp? 193 194# Coprocessor Support 195 196# Math Coprocessor support 197npx0 at isa? port 0xf0 irq 13 # x86 math coprocessor 198 199 200# Console Devices 201 202# ISA console. You can only configure one of these! 203pc0 at isa? port 0x60 irq 1 # pccons generic PC console driver 204#vt0 at isa? port 0x60 irq 1 # PCVT console driver 205 206# Keyboard layout configuration for pccons 207#options FRENCH_KBD 208#options FINNISH_KBD 209#options GERMAN_KBD 210#options NORWEGIAN_KBD 211 212pcppi0 at isa? 213sysbeep0 at pcppi? 214 215# Serial Devices 216 217# PCI serial interfaces 218com* at puc? port ? # 16x450s on "universal" comm boards 219cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 220 221# ISA Plug-and-Play serial interfaces 222com* at isapnp? # Modems and serial boards 223 224# PCMCIA serial interfaces 225com* at pcmcia? function ? # Modems and serial cards 226 227pcmcom* at pcmcia? function ? # PCMCIA multi-port serial cards 228com* at pcmcom? slave ? # ...and the slave devices 229 230# ISA serial interfaces 231#options COM_HAYESP # adds Hayes ESP serial board support 232com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 233com1 at isa? port 0x2f8 irq 3 234com2 at isa? port 0x3e8 irq 5 235#com3 at isa? port 0x2e8 irq 9 236#ast0 at isa? port 0x1a0 irq 5 # AST 4-port serial cards 237#com* at ast? slave ? 238#boca0 at isa? port 0x100 irq 5 # BOCA 8-port serial cards 239#com* at boca? slave ? 240#tcom0 at isa? port 0x100 irq 7 # TC-800 8-port serial cards 241#com* at tcom? slave ? 242#rtfps0 at isa? port 0x1230 irq 10 # RT 4-port serial cards 243#com* at rtfps? slave ? 244#cy0 at isa? iomem 0xd4000 irq 12 # Cyclades serial cards 245 246 247# Parallel Printer Interfaces 248 249# PCI parallel printer interfaces 250lpt* at puc? port ? # || ports on "universal" comm boards 251 252# ISA parallel printer interfaces 253lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 254lpt1 at isa? port 0x278 255lpt2 at isa? port 0x3bc 256 257 258# SCSI Controllers and Devices 259 260# PCI SCSI controllers 261adv* at pci? dev ? function ? # AdvanSys 1200[A,B], 9xx[U,UA] SCSI 262adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI 263ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI 264bha* at pci? dev ? function ? # BusLogic 9xx SCSI 265isp* at pci? dev ? function ? # Qlogic ISP [12]0x0 SCSI/FibreChannel 266ncr* at pci? dev ? function ? # NCR 53c8xx SCSI 267 268# EISA SCSI controllers 269ahb* at eisa? slot ? # Adaptec 174[02] SCSI 270ahc* at eisa? slot ? # Adaptec 274x, aic7770 SCSI 271bha* at eisa? slot ? # BusLogic 7xx SCSI 272uha* at eisa? slot ? # UltraStor 24f SCSI 273 274# PCMCIA SCSI controllers 275aic* at pcmcia? function ? # Adaptec APA-1460 SCSI 276 277# ISA Plug-and-Play SCSI controllers 278aha* at isapnp? # Adaptec AHA-154[02 279aic* at isapnp? # Adaptec AHA-1520B 280 281# ISA SCSI controllers 282aha0 at isa? port 0x330 irq ? drq ? # Adaptec 154[02] SCSI 283aha1 at isa? port 0x334 irq ? drq ? 284ahc0 at isa? port ? irq ? # Adaptec 284x SCSI 285aic0 at isa? port 0x340 irq 11 # Adaptec 152[02] SCSI 286bha0 at isa? port 0x330 irq ? drq ? # BusLogic [457]4X SCSI 287bha1 at isa? port 0x334 irq ? drq ? 288nca0 at isa? port 0x360 irq 15 # Port-mapped NCR 53C80 contoller 289nca1 at isa? iomem 0xd8000 irq 5 # Memory-mapped controller (T128, etc.) 290sea0 at isa? iomem 0xc8000 irq 5 # Seagate/Future Domain SCSI 291uha0 at isa? port 0x330 irq ? drq ? # UltraStor [13]4f SCSI 292uha1 at isa? port 0x340 irq ? drq ? 293wds0 at isa? port 0x350 irq 15 drq 6 # WD7000 and TMC-7000 controllers 294wds1 at isa? port 0x358 irq 11 drq 5 295 296# SCSI bus support 297scsibus* at adv? 298scsibus* at adw? 299scsibus* at aha? 300scsibus* at ahb? 301scsibus* at ahc? 302scsibus* at aic? 303scsibus* at bha? 304scsibus* at isp? 305scsibus* at nca? 306scsibus* at ncr? 307scsibus* at sea? 308scsibus* at uha? 309scsibus* at wds? 310 311# SCSI devices 312sd* at scsibus? target ? lun ? # SCSI disk drives 313st* at scsibus? target ? lun ? # SCSI tape drives 314cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 315ch* at scsibus? target ? lun ? # SCSI autochangers 316ss* at scsibus? target ? lun ? # SCSI scanners 317uk* at scsibus? target ? lun ? # SCSI unknown 318 319 320# IDE and Related Devices 321# PCI IDE controllers (CMD tech's PCI0640, Intel's PIIx, ...). 322# The 0x0001 flag force the driver to use DMA, even if the driver doesn't know 323# how to set up DMA modes for this chip. This may work, or may cause 324# a machine hang with some controllers. 325pciide* at pci ? dev ? function ? flags 0x0000 326 327# ISA Plug-and-Play IDE controllers 328wdc* at isapnp? 329 330# PCMCIA IDE controllers 331wdc* at pcmcia? function ? 332 333# ISA ST506, ESDI, and IDE controllers 334wdc0 at isa? port 0x1f0 irq 14 335wdc1 at isa? port 0x170 irq 15 336 337# IDE drives. 338# Flags are used only with controlers that support DMA operations 339# and mode settings (e.g. some pciide controllers) 340# The first 4 bytes of the flags define the PIO mode to use, the 341# second DMA mode and the third UltraDMA mode. For each group of 4 bytes, 342# the 3 lower define the mode to use, and the last one must be 1 for the 343# setting to be used. For DMA and UDMA, 0xf means 'disable'. 344# 0x0fac means 'use PIO mode 4 DMA mode 2, disable UltraDMA'. 345# 0x0000 means "use whatever the drive claims to support. 346wd* at wdc? channel ? drive ? flags 0x0000 347wd* at pciide? channel ? drive ? flags 0x0000 348 349# ATAPI bus support 350atapibus* at wdc? channel ? 351atapibus* at pciide? channel ? 352 353# ATAPI devices 354# flags have the same meaning as for IDE drives. 355cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives 356sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives 357uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown 358 359 360# Miscellaneous mass storage devices 361 362# ISA floppy 363fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 364#fdc1 at isa? port 0x370 irq ? drq ? 365fd* at fdc? drive ? # the drives themselves 366# some machines need you to do this instead of fd* 367#fd0 at fdc0 drive 0 368 369# ISA CD-ROM devices 370#mcd0 at isa? port 0x300 irq 10 # Mitsumi CD-ROM drives 371 372# ISA tape devices 373# note: the wt driver conflicts unpleasantly with SMC boards at the 374# same I/O address. The probe reprograms their EEPROMs. Don't 375# uncomment it unless you are actually using it. 376#wt0 at isa? port 0x308 irq 5 drq 1 # Archive and Wangtek QIC tape drives 377 378 379# Network Interfaces 380 381# PCI network interfaces 382de* at pci? dev ? function ? # DEC 21x4x-based Ethernet 383en* at pci? dev ? function ? # ENI/Adaptec ATM 384ep* at pci? dev ? function ? # 3Com 3c59x 385ex* at pci? dev ? function ? # 3Com 90x[B] 386epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 387esh* at pci? dev ? function ? # Essential HIPPI card 388fpa* at pci? dev ? function ? # DEC DEFPA FDDI 389fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 390le* at pci? dev ? function ? # PCnet-PCI Ethernet 391ne* at pci? dev ? function ? # NE2000-compatible Ethernet 392tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 393 394# EISA network interfaces 395ep* at eisa? slot ? # 3Com 3c579 Ethernet 396fea* at eisa? slot ? # DEC DEFEA FDDI 397 398# ISA Plug-and-Play network interfaces 399ep* at isapnp? # 3Com 3c509 Ethernet 400ne* at isapnp? # NE2000-compatible Ethernet 401 402# PCMCIA network interfaces 403ep* at pcmcia? function ? # 3Com 3c589 and 3c562 Ethernet 404mbe* at pcmcia? function ? # MB8696x based Ethernet 405ne* at pcmcia? function ? # NE2000-compatible Ethernet 406sm* at pcmcia? function ? # Megahertz Ethernet 407 408# ISA network interfaces 409ate0 at isa? port 0x2a0 irq ? # AT1700 410cs0 at isa? port 0x300 iomem ? irq ? drq ? # CS8900 Ethernet 411ec0 at isa? port 0x250 iomem 0xd8000 irq 9 # 3Com 3c503 Ethernet 412eg0 at isa? port 0x280 irq 9 # 3C505 ethernet cards 413el0 at isa? port 0x300 irq 9 # 3C501 ethernet cards 414ep0 at isa? port ? irq ? # 3C509 ethernet cards 415ef0 at isa? port 0x360 iomem 0xd0000 irq 7 # 3C507 416ai0 at isa? port 0x360 iomem 0xd0000 irq 7 # StarLAN 417fmv0 at isa? port 0x2a0 irq ? # FMV-180 series 418ix0 at isa? port 0x300 irq 10 # EtherExpress/16 419iy0 at isa? port 0x360 irq ? # EtherExpress PRO 10 ISA 420lc0 at isa? port 0x320 iomem ? irq ? # DEC EtherWORKS III (LEMAC) 421#depca0 at isa? port 0x300 iomem 0xc8000 iosiz 0x8000 irq 5 # DEPCA 422#le* at depca? 423nele0 at isa? port 0x320 irq 9 drq 7 # NE2100 424le* at nele? 425bicc0 at isa? port 0x320 irq 10 drq 7 # BICC IsoLan 426le* at bicc? 427ne0 at isa? port 0x280 irq 9 # NE[12]000 ethernet cards 428ne1 at isa? port 0x300 irq 10 429sm0 at isa? port 0x300 irq 10 # SMC91C9x Ethernet 430we0 at isa? port 0x280 iomem 0xd0000 irq 9 # WD/SMC Ethernet 431we1 at isa? port 0x300 iomem 0xcc000 irq 10 432 433# MII/PHY support 434exphy* at mii? phy ? # 3Com internal PHYs 435icsphy* at mii? phy ? # Integrated Circuit Systems ICS1890 436inphy* at mii? phy ? # Intel 82555 PHYs 437lxtphy* at mii? phy ? # Level One LXT-970 PHYs 438nsphy* at mii? phy ? # NS83840 PHYs 439qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 440sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 441tlphy* at mii? phy ? # ThunderLAN PHYs 442ukphy* at mii? phy ? # generic unknown PHYs 443 444# USB Controller and Devices 445 446# PCI USB controllers 447uhci* at pci? # Universal Host Controller (Intel) 448ohci* at pci? # Open Host Controller 449 450# USB bus support 451usb* at uhci? 452usb* at ohci? 453 454# USB Hubs 455uhub* at usb? 456uhub* at uhub? port ? configuration ? interface ? 457 458# USB Mice 459ums* at uhub? port ? configuration ? interface ? 460wsmouse* at ums? 461 462# USB Keyboards 463ukbd* at uhub? port ? configuration ? interface ? 464wskbd* at ukbd? console ? 465 466# USB Generic HID devices 467uhid* at uhub? port ? configuration ? interface ? 468 469# USB Printer 470ulpt* at uhub? port ? configuration ? interface ? 471 472# USB Generic driver 473ugen* at uhub? port ? configuration ? interface ? 474 475# Audio Devices 476 477# PCI audio devices 478eap* at pci? dev ? function ? # Ensoniq AudioPCI 479sv* at pci? dev ? function ? # S3 SonicVibes 480 481# ISA Plug-and-Play audio devices 482ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio 483guspnp* at isapnp? # Gravis Ultra Sound PnP audio 484sb* at isapnp? # SoundBlaster-compatible audio 485wss* at isapnp? # Windows Sound System 486ym* at isapnp? # Yamaha OPL3-SA3 audio 487 488# ISA audio devices 489aria0 at isa? port 0x290 irq 10 # Aria 490gus0 at isa? port 0x220 irq 7 drq 1 drq2 6 # Gravis Ultra Sound 491pas0 at isa? port 0x220 irq 7 drq 1 # ProAudio Spectrum 492pss0 at isa? port 0x220 irq 7 drq 6 # Personal Sound System 493sp0 at pss0 port 0x530 irq 10 drq 0 # sound port driver 494sb0 at isa? port 0x220 irq 5 drq 1 drq2 5 # SoundBlaster 495wss0 at isa? port 0x530 irq 10 drq 0 drq2 1 # Windows Sound System 496 497# OPL[23] FM syntheziers 498#opl0 at isa? port 0x388 # use only if not attached to sound card 499opl* at ess? 500opl* at sb? 501opl* at sv? 502 503# USB Audio devices 504#uaudio* at uhub? port ? configuration ? interface ? 505 506# Audio support 507audio* at aria? 508audio* at eap? 509audio* at ess? 510audio* at gus? 511audio* at guspnp? 512audio* at pas? 513audio* at sb? 514audio* at sp? 515audio* at sv? 516#audio* at uaudio? 517audio* at wss? 518audio* at ym? 519 520# MIDI support 521midi* at pcppi? # MIDI interface to the PC speaker 522midi* at sb? # SB MPU401 port 523midi* at opl? # OPL FM synth 524 525# The spkr driver provides a simple tone interface to the built in speaker. 526#spkr0 at pcppi? # PC speaker 527 528 529# Mice 530 531# ISA busmice 532lms0 at isa? port 0x23c irq 5 # Logitech bus mouse 533lms1 at isa? port 0x238 irq 5 534mms0 at isa? port 0x23c irq 5 # Microsoft InPort mouse 535mms1 at isa? port 0x238 irq 5 536pms0 at pc? irq 12 # PS/2 auxiliary port mouse 537#pms0 at vt? irq 12 # PS/2 auxiliary port mouse 538 539 540# Joysticks 541 542# ISA Plug-and-Play joysticks 543joy* at isapnp? # Game ports (usually on audio cards) 544 545# ISA joysticks. Probe is a little strange; add only if you have one. 546#joy0 at isa? port 0x201 547 548 549# Miscellaneous Devices 550 551# Planetconnect Satellite receiver driver. 552#satlink0 at isa? port 0x300 drq 1 553 554 555# Pull in optional local configuration 556include "arch/i386/conf/GENERIC.local" 557 558 559# Pseudo-Devices 560 561# disk/mass storage pseudo-devices 562pseudo-device ccd 4 # concatenated/striped disk devices 563#pseudo-device raid 4 # RAIDframe disk driver 564pseudo-device md 1 # memory disk device (ramdisk) 565pseudo-device vnd 4 # disk-like interface to files 566 567# network pseudo-devices 568pseudo-device bpfilter 8 # Berkeley packet filter 569pseudo-device ipfilter # IP filter (firewall) and NAT 570pseudo-device loop # network loopback 571pseudo-device ppp 2 # Point-to-Point Protocol 572pseudo-device sl 2 # Serial Line IP 573pseudo-device strip 2 # Starmode Radio IP (Metricom) 574pseudo-device tun 2 # network tunneling over tty 575pseudo-device gre 2 # generic L3 over IP tunnel 576 577# miscellaneous pseudo-devices 578pseudo-device pty 64 # pseudo-terminals 579pseudo-device tb 1 # tablet line discipline 580pseudo-device sequencer 1 # MIDI sequencer 581 582# rnd is EXPERIMENTAL at this point. 583#pseudo-device rnd # /dev/random and in-kernel generator 584#options RND_COM # use "com" randomness as well (BROKEN) 585 586# a pseudo device needed for Coda # also needs CODA (above) 587pseudo-device vcoda 4 # coda minicache <-> venus comm. 588