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