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