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