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