GENERIC revision 1.189
1# $NetBSD: GENERIC,v 1.189 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/arc/conf/std.arc"
22
23options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
24
25#ident		"GENERIC-$Revision: 1.189 $"
26
27maxusers	32		# estimated number of users
28
29# Platform support
30options 	PLATFORM_ACER_PICA_61		# PICA, NEC ImageRISCstation
31options 	PLATFORM_DESKTECH_ARCSTATION_I	# DeskStation rPC44
32options 	PLATFORM_DESKTECH_TYNE		# DeskStation Tyne
33options 	PLATFORM_MICROSOFT_JAZZ		# MIPS Magnum
34options 	PLATFORM_NEC_J96A		# NEC Express 5800/240 EISA R4K
35options 	PLATFORM_NEC_JC94		# NEC Express 5800/230 PCI R4K
36options 	PLATFORM_NEC_R94		# NEC RISCstation 2200 EISA
37options 	PLATFORM_NEC_R96	# NEC Express RISCserver, RISCserver 2200
38options 	PLATFORM_NEC_RAX94		# NEC RISCstation 2200 PCI
39options 	PLATFORM_NEC_RD94		# NEC RISCstation 2250
40options 	PLATFORM_SNI_RM200PCI
41
42# CPU related options
43makeoptions	CPUFLAGS="-march=mips3 -mabi=32"
44
45# Standard system options
46
47options 	RTC_OFFSET=0	# hardware clock is this many mins. west of GMT
48options 	NTP		# NTP phase/frequency locked loop
49
50options 	KTRACE		# system call tracing via ktrace(1)
51
52options 	SYSVMSG		# System V-like message queues
53options 	SYSVSEM		# System V-like semaphores
54options 	SYSVSHM		# System V-like memory sharing
55
56options 	USERCONF	# userconf(4) support
57#options 	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
58options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
59
60# Alternate buffer queue strategies for better responsiveness under high
61# disk I/O load.
62#options 	BUFQ_READPRIO
63#options 	BUFQ_PRIOCSCAN
64
65# Diagnostic/debugging support options
66#options 	DIAGNOSTIC		# cheap kernel consistency checks
67#options 	DEBUG			# expensive debugging checks/support
68options 	DDB			# in-kernel debugger
69#options 	DDB_HISTORY_SIZE=100	# enable history editing in DDB
70#options 	KGDB			# remote gdb
71#options 	KGDB_DEVRATE=19200	# kernel gdb port rate (default 9600)
72#options 	KGDB_DEV="17*256+0"	# device for kernel gdb
73#makeoptions	DEBUG="-g"		# compile full symbol table
74
75# Compatibility options
76include 	"conf/compat_netbsd10.config"
77
78options 	COMPAT_386BSD_MBRPART # recognize old partition ID
79
80# mipsel specific
81options 	COMPAT_ULTRIX	# Ultrix binary compatibility
82options 	EXEC_ECOFF	# Ultrix RISC binaries are ECOFF format
83
84# File systems
85file-system 	FFS		# fast filesystem
86file-system 	EXT2FS		# second extended file system (linux)
87file-system 	LFS		# log-structured file system
88file-system 	MFS		# memory file system
89file-system 	NTFS		# Windows/NT file system (experimental)
90file-system 	CD9660		# ISO 9660 + Rock Ridge file system
91file-system 	MSDOSFS		# MS-DOS file system
92file-system 	NFS		# Network File System client
93file-system 	FDESC		# /dev/fd
94file-system 	KERNFS		# /kern
95file-system 	NULLFS		# loopback file system
96file-system 	OVERLAY		# overlay file system
97file-system	PUFFS		# Userspace file systems (e.g. ntfs-3g & sshfs)
98file-system 	PROCFS		# /proc
99file-system 	UMAPFS		# NULLFS + uid and gid remapping
100file-system 	UNION		# union file system
101#file-system	CODA		# Coda File System; also needs vcoda (below)
102file-system	PTYFS		# /dev/pts/N support
103file-system	TMPFS		# Efficient memory file-system
104#file-system	UDF		# experimental - OSTA UDF CD/DVD file-system
105
106# File system options
107options 	QUOTA		# legacy UFS quotas
108options 	QUOTA2		# new, in-filesystem UFS quotas
109#options 	FFS_EI		# FFS Endian Independent support
110options 	WAPBL		# File system journaling support
111#options 	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
112options 	NFSSERVER	# Network File System server
113#options 	EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
114				# immutable) behave as system flags.
115#options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
116options 	UFS_EXTATTR	# Extended attribute support for UFS1
117
118# Networking options
119#options 	GATEWAY		# IP packet forwarding
120options 	INET		# IP + ICMP + TCP + UDP
121options 	INET6		# IPV6
122#options 	IPSEC		# IP security
123#options 	IPSEC_DEBUG	# debug for IP security
124#options 	MROUTING	# IP multicast routing
125#options 	PIM		# Protocol Independent Multicast
126options 	NETATALK	# AppleTalk networking protocols
127options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
128options 	PPP_DEFLATE	# Deflate compression support for PPP
129options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
130options 	IPFILTER_LOG	# ipmon(8) log support
131options 	IPFILTER_LOOKUP	# ippool(8) support
132options 	IPFILTER_COMPAT # Compat for IP-Filter
133#options 	IPFILTER_DEFAULT_BLOCK	# block all packets by default
134#options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
135
136#options 	ALTQ		# Manipulate network interfaces' output queues
137#options 	ALTQ_BLUE	# Stochastic Fair Blue
138#options 	ALTQ_CBQ	# Class-Based Queueing
139#options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
140#options 	ALTQ_FIFOQ	# First-In First-Out Queue
141#options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
142#options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
143#options 	ALTQ_LOCALQ	# Local queueing discipline
144#options 	ALTQ_PRIQ	# Priority Queueing
145#options 	ALTQ_RED	# Random Early Detection
146#options 	ALTQ_RIO	# RED with IN/OUT
147#options 	ALTQ_WFQ	# Weighted Fair Queueing
148
149# JIT compiler for bpfilter
150#options	SLJIT
151#options	BPFJIT
152
153# These options enable verbose messages for several subsystems.
154# Warning, these may compile large string tables into the kernel!
155#options 	EISAVERBOSE	# verbose EISA device autoconfig messages
156options 	MIIVERBOSE	# verbose PHY autoconfig messages
157options 	PCIVERBOSE	# verbose PCI device autoconfig messages
158#options 	PCI_CONFIG_DUMP	# verbosely dump PCI config space
159options 	SCSIVERBOSE	# human readable SCSI error messages
160
161# wscons terminal emulation
162options 	WSEMUL_VT100	# VT100 emulation
163options 	WSDISPLAY_COMPAT_USL		# wsconscfg VT handling
164
165# Kernel root file system and dump configuration.
166options 	NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM
167config		netbsd	root on ? type ?
168#config		netbsd	root on sd0a type ffs
169#config		netbsd	root on ? type nfs
170
171#
172# Device configuration
173#
174
175mainbus0	at root
176cpu*		at mainbus0
177
178#### Jazz-Internal bus devices
179
180# PLATFORM_ACER_PICA_61
181# PLATFORM_MICROSOFT_JAZZ
182# PLATFORM_NEC_J96A
183# PLATFORM_NEC_JC94
184# PLATFORM_NEC_R94
185# PLATFORM_NEC_R96
186# PLATFORM_NEC_RAX94
187# PLATFORM_NEC_RD94
188jazzio*		at mainbus0	# Jazz-Internal bus host bridge.
189
190timer0		at jazzio?
191mcclock0 	at jazzio?
192#pc0		at jazzio?
193#opms0		at jazzio?
194vga0		at jazzio?	# Jazz localbus VGA
195pckbc0		at jazzio?	# PC keyboard controller
196com0		at jazzio?
197com1		at jazzio?
198lpt0		at jazzio?
199sn0		at jazzio?
200
201fdc0		at jazzio?
202fd*		at fdc? drive ?
203
204asc0		at jazzio? flags 0x000000	# NCR53C9x SCSI
205osiop*		at jazzio? flags 0x00000	# NCR53C710 SCSI
206oosiop* 	at jazzio?			# NCR53C700 SCSI
207
208#### ISA bus devices
209
210# PLATFORM_ACER_PICA_61
211# PLATFORM_MICROSOFT_JAZZ
212# PLATFORM_NEC_J96A
213# PLATFORM_NEC_R94
214# PLATFORM_NEC_R96
215jazzisabr*	at mainbus0	# Jazz-(E)ISA bus bridge.
216isa*		at jazzisabr?
217
218# PLATFORM_DESKTECH_ARCSTATION_I
219arcsisabr*	at mainbus0	# DeskStation rPC44 ISA host bridge.
220isa*		at arcsisabr?
221
222# PLATFORM_DESKTECH_TYNE
223tyneisabr*	at mainbus0	# DeskStation Tyne ISA host bridge.
224isa*		at tyneisabr?
225
226#isadma0 	at isa?
227
228isapnp0 	at isa?
229
230timer0		at isa? port 0x40 irq 0
231mcclock0 	at isa? port 0x70
232
233#pc0		at isa? irq 1			# generic PC console device
234#opms0		at isa? irq 12			# PS/2 auxiliary port mouse
235vga0		at isa?
236#options 	VGA_RASTERCONSOLE
237options 	VGA_RESET
238pckbc0		at isa?				# PC keyboard controller
239com0		at isa? port 0x3f8 irq 4
240com1		at isa? port 0x2f8 irq 3
241com2		at isa? port 0x3e8 irq 4
242com3		at isa? port 0x2e8 irq 3
243ast0		at isa? port 0x1a0 irq 3	# AST 4-port serial cards
244com*		at ast? slave ?
245
246# Joystick driver. Probe is a little strange; add only if you have one.
247#joy0		at isa? port 0x201
248
249# ISA ST506, ESDI, and IDE controllers
250# Use flags 0x01 if you want to try to use 32bits data I/O (the driver will
251# fall back to 16bits I/O if 32bits I/O are not functional).
252# Some controllers pass the initial 32bit test, but will fail later.
253wdc0		at isa? port 0x1f0 irq 14 flags 0x00
254#wdc1		at isa? port 0x170 irq 15 flags 0x00
255wdc*		at isapnp?
256
257# ISA parallel printer interfaces
258lpt0		at isa? port 0x378 irq 7
259
260# ISA network interfaces
261#ec0		at isa? port 0x250 iomem 0xd8000 irq 9	# 3Com 3c503 Ethernet
262ep*		at isa? port ? irq ?		# 3C509 ethernet cards
263ep*		at isapnp?			# 3C509B ethernet card
264ne0		at isa? port 0x280 irq 9	# NE[12]000 ethernet cards
265ne1		at isa? port 0x300 irq 10
266ne*		at isapnp?			# NE[12]000 PnP ethernet
267we0		at isa? port 0x280 iomem 0xd0000 irq 9	# WD/SMC Ethernet
268we1		at isa? port 0x300 iomem 0xcc000 irq 10
269
270# XXX - should be configured
271#btl0		at isa? port 0x330 irq ? drq ?
272
273#### PCI bus devices
274
275# PLATFORM_NEC_JC94
276# PLATFORM_NEC_RAX94
277# PLATFORM_NEC_RD94
278necpb*		at mainbus0	# NEC RISCstation PCI host bridge.
279pci*		at necpb?
280pci*		at ppb? bus ?
281options 	PCI_NETBSD_CONFIGURE
282
283ppb*		at pci? dev ? function ?	# PCI-PCI bridges
284
285# PCI cryptographic devices
286hifn*	at pci? dev ? function ?	# Hifn 7755/7811/795x
287ubsec*	at pci? dev ? function ?	# Broadcom 5501/5601/580x/582x
288
289#vga*	 	at pci? dev ? function ?
290tga*		at pci? dev ? function ?	# DEC ZLXp-E[123] Graphics
291
292# PCI SCSI controllers
293adv*		at pci? dev ? function ?	# AdvanSys 1200[A,B], 9xx[U,UA]
294ahc*		at pci? dev ? function ?	# Adaptec [23]94x, aic78x0 SCSI
295iha*		at pci? dev ? function ?	# Initio INIC-940/950 SCSI
296njs*		at pci? dev ? function ?	# Workbit NinjaSCSI-32
297pcscp*		at pci? dev ? function ?	# AMD Am53c974 PCscsi-PCI SCSI
298siop*		at pci? dev ? function ?	# NCR/Symbios 53c8xx SCSI
299esiop*		at pci? dev ? function ?	# NCR/Symbios 53c875/95/1010
300trm*		at pci? dev ? function ?	# Tekram DC-395/315 SCSI
301
302# PCI IDE controllers - see pciide(4) for supported hardware.
303# The 0x0001 flag force the driver to use DMA, even if the driver doesn't know
304# how to set up DMA modes for this chip. This may work, or may cause
305# a machine hang with some controllers.
306pciide* 	at pci? dev ? function ? flags 0x0000	# GENERIC pciide driver
307acardide*	at pci? dev ? function ?	# Acard IDE controllers
308#aceride* 	at pci? dev ? function ?	# Acer Lab IDE controllers
309#artsata*	at pci? dev ? function ?	# Intel i31244 SATA controller
310cmdide* 	at pci? dev ? function ?	# CMD tech IDE controllers
311#cypide* 	at pci? dev ? function ?	# Cypress IDE controllers
312hptide* 	at pci? dev ? function ?	# Triones/HighPoint IDE controllers
313optiide* 	at pci? dev ? function ?	# Opti IDE controllers
314pdcide* 	at pci? dev ? function ?	# Promise IDE controllers
315pdcsata* 	at pci? dev ? function ?	# Promise SATA150 controllers
316satalink*	at pci? dev ? function ?	# SiI SATALink controllers
317#siside* 	at pci? dev ? function ?	# SiS IDE controllers
318slide*  	at pci? dev ? function ?	# Symphony Labs IDE controllers
319viaide* 	at pci? dev ? function ?	# VIA/AMD/Nvidia IDE controllers
320
321# PCI network devices
322#an*		at pci? dev ? function ?	# Aironet PC4500/PC4800 (802.11)
323bge*		at pci? dev ? function ?	# Broadcom 570x gigabit Ethernet
324#en*		at pci? dev ? function ?	# ENI/Adaptec ATM
325ep*		at pci? dev ? function ?	# 3Com 3c59x
326epic*		at pci? dev ? function ?	# SMC EPIC/100 Ethernet
327#esh*		at pci? dev ? function ?	# Essential HIPPI card
328ex*		at pci? dev ? function ?	# 3Com 90x[BC]
329#fpa*		at pci? dev ? function ?	# DEC DEFPA FDDI
330fxp*		at pci? dev ? function ?	# Intel EtherExpress PRO
331gsip*		at pci? dev ? function ?	# NS83820 Gigabit Ethernet
332#hme*		at pci? dev ? function ?	# Sun STP2002-STQ
333#le*		at pci? dev ? function ?	# PCnet-PCI Ethernet
334#lmc*		at pci? dev ? function ?	# Lan Media Corp SSI/HSSI/DS3
335#mtd*		at pci? dev ? function ?	# Myson MTD803 3-in-1 Ethernet
336ne*		at pci? dev ? function ?	# NE2000-compatible
337#ntwoc*		at pci? dev ? function ?	# Riscom/N2 PCI Sync Serial
338pcn*		at pci? dev ? function ?	# AMD PCnet-PCI Ethernet
339re*		at pci? dev ? function ?	# Realtek 8139C+/8169/8110S
340rtk*		at pci? dev ? function ?	# Realtek 8129/8139
341sf*		at pci? dev ? function ?	# Adaptec AIC-6915 Ethernet
342sip*		at pci? dev ? function ?	# SiS 900/DP83815 Ethernet
343#skc*		at pci? dev ? function ?	# SysKonnect SK9821
344#sk*		at skc?				# SysKonnect SK9821
345ste*		at pci? dev ? function ?	# Sundance ST-201 Ethernet
346#stge*		at pci? dev ? function ?	# Sundance/Tamarack TC9021
347#ti*		at pci? dev ? function ?	# Alteon ACEnic gigabit Ethernet
348tl*		at pci? dev ? function ?	# ThunderLAN-based Ethernet
349tlp*		at pci? dev ? function ?	# DECchip 21x4x and clones
350vge*		at pci? dev ? function ?	# VIA VT612X Gigabit Ethernet
351vr*		at pci? dev ? function ?        # VIA Rhine Fast Ethernet
352#wi*		at pci? dev ? function ?	# Intersil Prism Mini-PCI
353wm*		at pci? dev ? function ?	# Intel 82543/82544 gigabit
354
355#### MII/PHY support
356acphy*		at mii? phy ?		# Altima AC101 and AMD Am79c874 PHYs
357amhphy* 	at mii? phy ?		# AMD 79c901 Ethernet PHYs
358bmtphy*		at mii? phy ?		# Broadcom BCM5201 and BCM5202 PHYs
359brgphy* 	at mii? phy ?		# Broadcom BCM5400-family PHYs
360ciphy*		at mii? phy ?		# Cicada CS8201 Gig-E PHYs
361dmphy*		at mii? phy ?		# Davicom DM9101 PHYs
362exphy*		at mii? phy ?		# 3Com internal PHYs
363#gentbi* 	at mii? phy ?		# Generic Ten-Bit 1000BASE-[CLS]X PHYs
364glxtphy* 	at mii? phy ?		# Level One LXT-1000 PHYs
365gphyter* 	at mii? phy ?		# NS83861 Gig-E PHY
366icsphy*		at mii? phy ?		# Integrated Circuit Systems ICS189x
367ikphy*		at mii? phy ?		# Intel 82563 PHYs
368inphy*		at mii? phy ?		# Intel 82555 PHYs
369iophy*		at mii? phy ?		# Intel 82553 PHYs
370lxtphy*		at mii? phy ?		# Level One LXT-970 PHYs
371makphy* 	at mii? phy ?		# Marvell Semiconductor 88E1000 PHYs
372nsphy*		at mii? phy ?		# NS83840 PHYs
373nsphyter*	at mii? phy ?		# NS83843 PHYs
374qsphy*		at mii? phy ?		# Quality Semiconductor QS6612 PHYs
375sqphy*		at mii? phy ?		# Seeq 80220/80221/80223 PHYs
376tlphy*		at mii? phy ?		# ThunderLAN PHYs
377tqphy*		at mii? phy ?		# TDK Semiconductor PHYs
378ukphy*		at mii? phy ?		# generic unknown PHYs
379#urlphy* 	at mii? phy ?		# Realtek RTL8150L internal PHYs
380
381# SCSI bus support
382scsibus*	at scsi?
383
384#### SCSI bus devices
385
386sd*		at scsibus? target ? lun ?
387st*		at scsibus? target ? lun ?
388cd*		at scsibus? target ? lun ?
389ch*		at scsibus? target ? lun ?
390ss*		at scsibus? target ? lun ?
391uk*		at scsibus? target ? lun ?
392
393# ATA (IDE) bus support
394atabus* 	at ata?
395
396# IDE drives
397# Flags are used only with controllers that support DMA operations
398# and mode settings (e.g. some pciide controllers)
399# The lowest order four bits (rightmost digit) of the flags define the PIO
400# mode to use, the next set of four bits the DMA mode and the third set the
401# UltraDMA mode. For each set of four bits, the 3 lower bits define the mode
402# to use, and the last bit must be 1 for this setting to be used.
403# For DMA and UDMA, 0xf (1111) means 'disable'.
404# 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'.
405# (0xc=1100, 0xa=1010, 0xf=1111)
406# 0x0000 means "use whatever the drive claims to support".
407wd*		at atabus? drive ? flags 0x0000
408
409# ATAPI bus support
410atapibus*	at atapi?
411
412#### ATAPI bus devices
413
414# flags have the same meaning as for IDE drives.
415cd*		at atapibus? drive ? flags 0x0000	# ATAPI CD-ROM drives
416sd*		at atapibus? drive ? flags 0x0000	# ATAPI disk drives
417uk*		at atapibus? drive ? flags 0x0000	# ATAPI unknown
418
419#### Workstation Console attachments
420
421wsdisplay*	at vga?
422wsdisplay*	at tga?
423pckbd*		at pckbc?	# PC keyboard (kbd port)
424wskbd*		at pckbd?
425pms*		at pckbc?	# PS/2-style mouse (aux port)
426wsmouse*	at pms?
427
428#### Pseudo devices
429
430pseudo-device 	crypto			# /dev/crypto device
431pseudo-device	swcrypto		# software crypto implementation
432
433# disk/mass storage pseudo-devices
434pseudo-device	ccd			# concatenated/striped disk devices
435#pseudo-device	cgd			# cryptographic disk devices
436pseudo-device	raid			# RAIDframe disk driver
437#options 	RAID_AUTOCONFIG
438# Options to enable various other RAIDframe RAID types.
439#options 	RF_INCLUDE_EVENODD=1
440#options 	RF_INCLUDE_RAID5_RS=1
441#options 	RF_INCLUDE_PARITYLOGGING=1
442#options 	RF_INCLUDE_CHAINDECLUSTER=1
443#options 	RF_INCLUDE_INTERDECLUSTER=1
444#options 	RF_INCLUDE_PARITY_DECLUSTERING=1
445#options 	RF_INCLUDE_PARITY_DECLUSTERING_DS=1
446pseudo-device	fss			# file system snapshot device
447pseudo-device	md			# memory disk device (ramdisk)
448pseudo-device	vnd			# disk-like interface to files
449#options 	VND_COMPRESSION		# compressed vnd(4)
450pseudo-device	putter			# for puffs and pud
451
452# network pseudo-devices
453pseudo-device	bpfilter		# Berkeley packet filter
454#pseudo-device	carp			# Common Address Redundancy Protocol
455pseudo-device	ipfilter		# IP filter (firewall) and NAT
456pseudo-device	loop			# network loopback
457pseudo-device	ppp			# Point-to-Point Protocol
458pseudo-device	pppoe			# PPP over Ethernet (RFC 2516)
459pseudo-device	sl			# Serial Line IP
460#pseudo-device	strip			# Starmode Radio IP (Metricom)
461pseudo-device	tun			# network tunneling over tty
462pseudo-device	tap			# virtual Ethernet
463#pseudo-device	gre			# generic L3 over IP tunnel
464pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
465#pseudo-device	faith			# IPv[46] tcp relay translation i/f
466pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
467pseudo-device	vlan			# IEEE 802.1q encapsulation
468pseudo-device	bridge			# simple inter-network bridging
469#options 	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
470pseudo-device	agr			# IEEE 802.3ad link aggregation
471
472#
473# accept filters
474pseudo-device   accf_data		# "dataready" accept filter
475pseudo-device   accf_http		# "httpready" accept filter
476
477# miscellaneous pseudo-devices
478pseudo-device	pty			# pseudo-terminals
479#pseudo-device	sequencer		# MIDI sequencer
480# rnd works; RND_COM does not on port arc yet.
481#options 	RND_COM			# use "com" randomness as well (BROKEN)
482pseudo-device	clockctl		# user control of clock subsystem
483
484# a pseudo device needed for Coda	# also needs CODA (above)
485#pseudo-device	vcoda			# coda minicache <-> venus comm.
486
487# mouse & keyboard multiplexor pseudo-devices
488#pseudo-device	wsmux
489pseudo-device	ksyms			# /dev/ksyms
490#pseudo-device	pf			# PF packet filter
491#pseudo-device	pflog			# PF log if
492
493# Veriexec
494#
495# a pseudo device needed for veriexec
496#pseudo-device	veriexec
497#
498# Uncomment the fingerprint methods below that are desired. Note that
499# removing fingerprint methods will have almost no impact on the kernel
500# code size.
501#
502#options VERIFIED_EXEC_FP_SHA256
503#options VERIFIED_EXEC_FP_SHA384
504#options VERIFIED_EXEC_FP_SHA512
505