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