GENERIC revision 1.128
1# $NetBSD: GENERIC,v 1.128 2006/09/01 07:23:51 garbled 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/prep/conf/std.prep"
22
23options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
24
25#ident		"GENERIC-$Revision: 1.128 $"
26
27maxusers	32
28
29# Platform support
30
31options 	OPENPIC				# OpenPIC support (7043-140)
32
33# Standard system options
34
35options 	RTC_OFFSET=0	# hardware clock is this many mins. west of GMT
36options 	NTP		# NTP phase/frequency locked loop
37
38options 	KTRACE		# system call tracing via ktrace(1)
39#options 	SYSTRACE	# system call vetting via systrace(1)
40
41options 	SYSVMSG		# System V-like message queues
42options 	SYSVSEM		# System V-like semaphores
43#options 	SEMMNI=10	# number of semaphore identifiers
44#options 	SEMMNS=60	# number of semaphores in system
45#options 	SEMUME=10	# max number of undo entries per process
46#options 	SEMMNU=30	# number of undo structures in system
47options 	SYSVSHM		# System V-like memory sharing
48#options 	SHMMAXPGS=1024	# 1024 pages is the default
49options 	P1003_1B_SEMAPHORE # p1003.1b semaphore support
50
51options 	LKM		# loadable kernel modules
52
53options 	USERCONF	# userconf(4) support
54#options	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
55options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
56
57# Enable experimental buffer queue strategy for better responsiveness under 
58# high disk I/O load. Use it with caution - it's not proven to be stable yet.
59#options 	BUFQ_READPRIO
60#options 	BUFQ_PRIOCSCAN
61
62# Diagnostic/debugging support options
63#options 	DIAGNOSTIC	# cheap kernel consistency checks
64#options 	DEBUG		# expensive debugging checks/support
65#options 	KMEMSTATS	# kernel memory statistics (vmstat -m)
66options 	DDB		# in-kernel debugger
67#options 	DDB_HISTORY_SIZE=100	# Enable history editing in DDB
68#makeoptions	DEBUG="-g"
69
70# Compatibility options
71options 	COMPAT_13	# NetBSD 1.3,
72options 	COMPAT_14	# NetBSD 1.4,
73options 	COMPAT_15	# NetBSD 1.5,
74options 	COMPAT_16	# NetBSD 1.6,
75options 	COMPAT_20	# NetBSD 2.0,
76options 	COMPAT_30	# NetBSD 3.0 compatibility.
77options 	COMPAT_43	# and 4.3BSD
78#options 	COMPAT_LINUX	# Linux binary compatibility
79#options 	TCP_COMPAT_42	# 4.2BSD TCP/IP bug compat. Not recommended.
80options		COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.
81
82# File systems
83file-system 	FFS		# UFS
84file-system	EXT2FS		# second extended file system (linux)
85#file-system	LFS		# log-structured file system
86file-system 	MFS		# memory file system
87file-system 	NFS		# Network File System client
88#file-system	NTFS		# Windows/NT file system (experimental)
89file-system 	CD9660		# ISO 9660 + Rock Ridge file system
90file-system 	MSDOSFS		# MS-DOS file system
91#file-system 	FDESC		# /dev/fd
92file-system 	KERNFS		# /kern
93file-system 	NULLFS		# loopback file system
94#file-system	OVERLAY		# overlay file system
95#file-system 	PORTAL		# portal filesystem (still experimental)
96file-system 	PROCFS		# /proc
97#file-system 	UMAPFS		# NULLFS + uid and gid remapping
98file-system 	UNION		# union file system
99#file-system	CODA		# Coda File System; also needs vcoda (below)
100file-system	PTYFS		# /dev/pts/N support
101#file-system	TMPFS		# experimental - Efficient memory file-system
102#file-system	UDF		# experimental - OSTA UDF CD/DVD file-system
103
104# File system options
105options 	QUOTA		# UFS quotas
106#options 	FFS_EI		# FFS Endian Independant support
107options 	SOFTDEP		# FFS soft updates support.
108#options	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
109options 	NFSSERVER	# Network File System server
110#options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
111#options 	EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
112 				# immutable) behave as system flags.
113
114# Networking options
115#options 	GATEWAY		# packet forwarding
116options 	INET		# IP + ICMP + TCP + UDP
117options 	INET6		# IPv6
118#options 	IPSEC		# IP security
119#options 	IPSEC_ESP	# IP security (encryption part; define w/IPSEC)
120#options 	IPSEC_NAT_T	# IPsec NAT traversal (NAT-T)
121#options 	IPSEC_DEBUG	# debug for IP security
122#options 	MROUTING	# IP multicast routing
123#options 	PIM		# Protocol Independent Multicast
124#options 	NETATALK	# AppleTalk networking protocols
125options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
126options 	PPP_DEFLATE	# Deflate compression support for PPP
127options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
128options 	PFIL_HOOKS	# pfil(9) packet filter hooks
129options 	IPFILTER_LOG	# ipmon(8) log support
130options 	IPFILTER_LOOKUP	# ippool(8) support
131#options 	IPFILTER_DEFAULT_BLOCK	# block all packets by default
132#options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
133
134#options 	ALTQ		# Manipulate network interfaces' output queues
135#options 	ALTQ_BLUE	# Stochastic Fair Blue
136#options 	ALTQ_CBQ	# Class-Based Queueing
137#options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
138#options 	ALTQ_FIFOQ	# First-In First-Out Queue
139#options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
140#options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
141#options 	ALTQ_LOCALQ	# Local queueing discipline
142#options 	ALTQ_PRIQ	# Priority Queueing
143#options 	ALTQ_RED	# Random Early Detection
144#options 	ALTQ_RIO	# RED with IN/OUT
145#options 	ALTQ_WFQ	# Weighted Fair Queueing
146
147# These options enable verbose messages for several subsystems.
148# Warning, these may compile large string tables into the kernel!
149#options 	MIIVERBOSE	# verbose PHY autoconfig messages
150options 	PCIVERBOSE	# verbose PCI device autoconfig messages
151#options 	PCI_CONFIG_DUMP	# verbosely dump PCI config space
152#options 	PCMCIAVERBOSE	# verbose PCMCIA configuration messages
153options 	SCSIVERBOSE	# human readable SCSI error messages
154#options 	USBVERBOSE	# verbose USB device autoconfig messages
155#options 	RESIDUAL_DATA_DUMP	# verbosely dump residual data
156#options		NVRAM_DUMP	# verbosely dump contents of nvram.
157				# Warning: output may not be ascii!
158
159#options 	NFS_BOOT_BOOTP
160options 	NFS_BOOT_BOOTPARAM
161options 	NFS_BOOT_DHCP
162
163#
164# wscons options
165#
166# builtin terminal emulations
167options 	WSEMUL_VT100		# VT100 / VT220 emulation
168# different kernel output - see dev/wscons/wsdisplayvar.h
169options 	WS_KERNEL_FG=WSCOL_GREEN
170#options 	WS_KERNEL_BG=WSCOL_BLACK
171# see dev/pckbport/wskbdmap_mfii.c for implemented layouts
172#options 	PCKBD_LAYOUT="(KB_DE | KB_NODEAD)"
173# allocate a number of virtual screens at autoconfiguration time
174#options 	WSDISPLAY_DEFAULTSCREENS=4
175# use a large software cursor that doesn't blink
176options 	PCDISPLAY_SOFTCURSOR
177
178# Kernel root file system and dump configuration.
179config	netbsd	root on ? type ?
180#config	netbsd	root on tlp0 type nfs
181#config	netbsd	root on pcn0 type nfs
182
183
184#
185# Device configuration
186#
187
188mainbus0 at root
189cpu0	at mainbus0
190
191
192# Basic Bus Support
193
194# PCI bus support
195pci0	at mainbus0 bus ?
196pci*	at pchb? bus ?
197pci*	at ppb? bus ?
198
199# PCI bridges
200pchb*	at pci? dev ? function ?	# PCI-Host bridges
201ppb*	at pci? dev ? function ?	# PCI-PCI bridges
202pcib*	at pci? dev ? function ?	# PCI-ISA bridges
203pceb*	at pci? dev ? function ?	# PCI-EISA bridges
204
205# EISA bus support
206eisa*	at pceb?
207
208# ISA bus support
209isa*	at pcib?			# ISA on PCI-ISA bridge
210isa*	at pceb?
211
212# PCMCIA bus support
213pcmcia* at pcic? controller ? socket ?
214
215# ISA PCMCIA controllers
216pcic0	at isa? port 0x3e0 iomem 0xd0000 iosiz 0x10000
217
218#options 	PCIC_ISA_INTR_ALLOC_MASK=0x4a00 # free irq 9,11,14
219#options 	PCIC_ISA_ALLOC_IOBASE=0x0400
220#options 	PCIC_ISA_ALLOC_IOSIZE=0x0100
221
222# ISA Plug-and-Play bus support
223#isapnp0	at isa?
224
225# on-board I/O for IBM Personal Power Series 830 IDE controller
226pnpbus0	at mainbus0
227
228# Console Devices
229
230# wscons
231pckbc0		at isa?			# pc keyboard controller
232pckbd*		at pckbc?		# PC keyboard
233pms*		at pckbc?		# PS/2 mouse for wsmouse
234vga*		at pci?
235wsdisplay*	at vga? console ?
236wskbd*		at pckbd? console ?
237wsmouse*	at pms? mux 0
238
239attimer0	at isa?			# AT Timer
240pcppi0	at isa?				# PC prog. periph. interface
241isabeep0 at pcppi?			# "keyboard" beep
242
243#mcclock0 at isa? port 0x70		# mc146818 and compatible
244mcclock* at pnpbus?			# mc146818 and compatible
245mkclock* at pnpbus?			# mk48t18 and compatible
246
247nvram*	at pnpbus?
248
249# Cryptographic Devices
250
251# PCI cryptographic devices
252#hifn*	at pci? dev ? function ?	# Hifn 7755/7811/795x
253#ubsec*	at pci? dev ? function ?	# Broadcom 5501/5601/580x/582x
254
255
256# Serial Devices
257
258# ISA serial interfaces
259com0	at isa? port 0x3f8 irq 4	# standard PC serial ports
260com1	at isa? port 0x2f8 irq 3
261
262# PCMCIA serial interfaces
263com*	at pcmcia? function ?		# Modems and serial cards
264
265#pcmcom* at pcmcia? function ?		# PCMCIA multi-port serial cards
266#com*	at pcmcom? slave ?		# ...and the slave devices
267
268
269# Parallel Printer Interfaces
270
271# ISA parallel printer interfaces
272lpt0	at isa? port 0x3bc irq 7	# standard PC parallel ports
273
274
275# SCSI Controllers and Devices
276
277# PCI SCSI controllers
278#adw*	at pci? dev ? function ?	# AdvanSys 9x0UW[D], 3940U[2,3]W SCSI
279ahc*	at pci? dev ? function ?	# Adaptec [23]94x, aic78x0 SCSI
280#iha*	at pci? dev ? function ?	# Initio INIC-940/950 SCSI
281#pcscp*	at pci? dev ? function ?	# AMD 53c974 PCscsi-PCI SCSI
282siop*	at pci? dev ? function ?	# Symbios 53c8xx SCSI
283esiop*	at pci? dev ? function ?	# Symbios 53c875 SCSI and newer
284
285# PCMCIA SCSI controllers
286aic*	at pcmcia? function ?		# Adaptec APA-1460 SCSI
287spc* 	at pcmcia? function ?		# Fujitsu MB87030/MB89352 SCSI
288
289# SCSI bus support
290#scsibus* at adw?
291scsibus* at ahc?
292scsibus* at aic?
293#scsibus* at iha?
294#scsibus* at pcscp?
295scsibus* at siop?
296scsibus* at spc?
297scsibus* at esiop?
298
299# SCSI devices
300sd*	at scsibus? target ? lun ?	# SCSI disk drives
301st*	at scsibus? target ? lun ?	# SCSI tape drives
302cd*	at scsibus? target ? lun ?	# SCSI CD-ROM drives
303#ch*	at scsibus? target ? lun ?	# SCSI autochangers
304#ss*	at scsibus? target ? lun ?	# SCSI scanners
305uk*	at scsibus? target ? lun ?	# SCSI unknown
306
307# IDE and related devices
308
309# IDE controller found on most Power Personal machines
310wdc*	at pnpbus?
311
312#fdc0 at pnpbus?	# standard ISA floppy controller
313#fd0 at fdc0 drive ?
314
315# ISA Plug-and-Play IDE controllers
316#wdc*	at isapnp?
317
318# PCMCIA IDE controllers
319wdc*	at pcmcia? function ?
320
321# ATA (IDE) bus support
322atabus* at ata?
323
324# IDE drives
325# Flags are used only with controllers that support DMA operations
326# and mode settings (e.g. some pciide controllers)
327# The lowest order four bits (rightmost digit) of the flags define the PIO
328# mode to use, the next set of four bits the DMA mode and the third set the
329# UltraDMA mode. For each set of four bits, the 3 lower bits define the mode
330# to use, and the last bit must be 1 for this setting to be used.
331# For DMA and UDMA, 0xf (1111) means 'disable'.
332# 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'.
333# (0xc=1100, 0xa=1010, 0xf=1111)
334# 0x0000 means "use whatever the drive claims to support".
335wd*	at atabus? drive ? flags 0x0000
336
337# ATAPI bus support
338atapibus* at atapi?
339
340# ATAPI devices
341# flags have the same meaning as for IDE drives.
342cd*	at atapibus? drive ? flags 0x0000	# ATAPI CD-ROM drives
343sd*	at atapibus? drive ? flags 0x0000	# ATAPI disk drives
344uk*	at atapibus? drive ? flags 0x0000	# ATAPI unknown
345
346# Miscellaneous mass storage devices
347
348# ISA Floppy
349#fdc0 at isa? port 0x3f0 irq 6 drq 2	# standard ISA floppy controller
350#fd0 at fdc0 drive ?
351
352# Network Interfaces
353
354# PCI network interfaces
355ep*	at pci? dev ? function ?	# 3Com 3c59x
356ex*	at pci? dev ? function ?	# 3Com 3c90x[BC]
357fxp*	at pci? dev ? function ?	# Intel EtherExpress PRO 10+/100B
358ne*	at pci? dev ? function ?	# NE2000-compatible Ethernet
359pcn*	at pci? dev ? function ?	# AMD PCnet-PCI Ethernet
360rtk*	at pci? dev ? function ?	# Realtek 8129/8139
361sip*	at pci? dev ? function ?	# SiS 900/DP83815 Ethernet
362tlp*	at pci? dev ? function ?	# DECchip 21x4x and clones
363vr*	at pci? dev ? function ?	# VIA Rhine Fast Ethernet
364
365# pnpbus network interfaces
366we*	at pnpbus?			# WD/SMC Ethernet
367
368# ISA network interfaces
369#ep*	at isa? port ? irq ?		# 3Com 3c509 Ethernet
370#ne0	at isa? port 0x280 irq 9	# NE2000-compatible Ethernet
371#ne1	at isa? port 0x300 irq 10
372#we0	at isa? port 0x280 iomem 0xd0000 irq 9	# WD/SMC Ethernet
373we1	at isa? port 0x300 iomem 0xe8000 irq 11
374
375# ISA Plug-and-Play network intefaces
376#ep*	at isapnp?			# 3Com 3c509 Ethernet
377#ne*	at isapnp?			# NE2000-compatible Ethernet
378
379# PCMCIA network interfaces
380ep*	at pcmcia? function ?		# 3Com 3c589 and 3c562 Ethernet
381ne*	at pcmcia? function ?		# NE2000-compatible Ethernet
382
383# MII/PHY support
384dmphy*	at mii? phy ?			# Davicom DM9101 PHYs
385exphy*	at mii? phy ?			# 3Com internal PHYs
386icsphy* at mii? phy ?			# Integrated Circuit Systems ICS189x
387inphy*	at mii? phy ?			# Intel 82555 PHYs
388iophy*	at mii? phy ?			# Intel 82553 PHYs
389lxtphy* at mii? phy ?			# Level One LXT-970 PHYs
390nsphy*	at mii? phy ?			# NS83840 PHYs
391nsphyter* at mii? phy ?			# NS83843 PHYs
392qsphy*	at mii? phy ?			# Quality Semiconductor QS6612 PHYs
393sqphy*	at mii? phy ?			# Seeq 80220/80221/80223 PHYs
394tlphy*	at mii? phy ?			# ThunderLAN PHYs
395tqphy*	at mii? phy ?			# TDK Semiconductor PHYs
396ukphy*	at mii? phy ?			# generic unknown PHYs
397
398
399# USB Controller and Devices
400
401# PCI USB controllers
402#uhci*	at pci? dev ? function ?	# Universal Host Controller (Intel)
403#ohci*	at pci? dev ? function ?	# Open Host Controller
404
405# USB bus support
406#usb*	at uhci?
407#usb*	at ohci?
408
409# USB Hubs
410#uhub*	at usb?
411#uhub*	at uhub? port ? configuration ? interface ?
412
413# USB HID device
414#uhidev*	at uhub? port ? configuration ? interface ?
415
416# USB Mice
417#ums*	at uhidev? reportid ?
418#wsmouse* at ums? mux 0
419
420# USB Keyboards
421#ukbd*	at uhidev? reportid ?
422#wskbd*	at ukbd? console ? mux 1
423
424# USB serial adapter
425#ucycom*	at uhidev? reportid ?
426
427# USB Generic HID devices
428#uhid*	at uhidev? reportid ?
429
430# USB Printer
431#ulpt*	at uhub? port ? configuration ? interface ?
432
433# USB Modem
434#umodem* at uhub? port ? configuration ?
435#ucom*	at umodem?
436
437# USB Mass Storage
438#umass*	at uhub? port ? configuration ? interface ?
439#scsibus* at umass? channel ?
440#atapibus* at umass?
441
442# USB audio
443#uaudio* at uhub? port ? configuration ?
444
445# USB Ethernet adapters
446#aue*	at uhub? port ?		# ADMtek AN986 Pegasus based adapters
447#axe*	at uhub? port ?		# ASIX AX88172 based adapters
448#cue*	at uhub? port ?		# CATC USB-EL1201A based adapters
449#kue*	at uhub? port ?		# Kawasaki LSI KL5KUSB101B based adapters
450#url*	at uhub? port ?		# Realtek RTL8150L based adapters
451#udav*	at uhub? port ?		# Davicom DM9601 based adapters
452
453# Prolific PL2301/PL2302 host-to-host adapter
454#upl*	at uhub? port ?
455
456# Serial adapters
457#uftdi*	at uhub? port ?		# FTDI FT8U100AX serial adapter
458#ucom*	at uftdi? portno ?
459
460#umct*	at uhub? port ?		# MCT USB-RS232 serial adapter
461#ucom*	at umct? portno ?
462
463#uplcom* at uhub? port ?	# I/O DATA USB-RSAQ2 serial adapter
464#ucom*	at uplcom? portno ?
465
466#uvscom* at uhub? port ?	# SUNTAC Slipper U VS-10U serial adapter
467#ucom*	at uvscom? portno ?
468
469# Diamond Multimedia Rio 500
470#urio*	at uhub? port ?
471
472# USB Handspring Visor
473#uvisor* at uhub? port ?
474#ucom*	at uvisor?
475
476# Kyocera AIR-EDGE PHONE
477#ukyopon* at uhub? port ?
478#ucom*	at ukyopon? portno ?
479
480# Y@P firmware loader
481#uyap* at uhub? port ?
482
483# USB Generic driver
484#ugen*	at uhub? port ?
485
486# USB scanners
487#uscanner* at uhub? port ?
488
489
490# Audio device
491
492# ISA Plug-and-Play audio devices
493#wss*	at isapnp?			# CS4232
494
495# Audio support
496#audio*	at uaudio?
497#audio*	at wss?
498
499# MIDI support
500#midi*	at pcppi?		# MIDI interface to the PC speaker
501
502# The spkr driver provides a simple tone interface to the built in speaker.
503#spkr0	at pcppi?		# PC speaker
504
505
506# Joysticks
507
508# ISA Plug-and-Play joysticks
509#joy*	at isapnp?			# Game ports (usually on audio cards)
510
511# ISA joysticks. Probe is a little strange; add only if you have one.
512#joy0	at isa? port 0x201
513
514# Pull in optional local configuration
515include "arch/prep/conf/GENERIC.local"
516
517# Pseudo-Devices
518
519# Not yet ready -- prep lacks generic soft interrupts
520#pseudo-device 	crypto		# /dev/crypto device
521#pseudo-device	swcrypto	# software crypto implementation
522
523# disk/mass storage pseudo-devices
524pseudo-device	ccd		4	# concatenated/striped disk devices
525#pseudo-device	cgd		4	# cryptographic disk devices
526pseudo-device	raid		8	# RAIDframe disk driver
527options 	RAID_AUTOCONFIG		# auto-configuration of RAID components
528# Options to enable various other RAIDframe RAID types.
529# options	RF_INCLUDE_EVENODD=1
530# options	RF_INCLUDE_RAID5_RS=1
531# options	RF_INCLUDE_PARITYLOGGING=1
532# options	RF_INCLUDE_CHAINDECLUSTER=1
533# options	RF_INCLUDE_INTERDECLUSTER=1
534# options 	RF_INCLUDE_PARITY_DECLUSTERING=1
535# options	RF_INCLUDE_PARITY_DECLUSTERING_DS=1
536pseudo-device	fss		4	# file system snapshot device
537pseudo-device	md		1	# memory disk device (ramdisk)
538pseudo-device	vnd			# disk-like interface to files
539#options 	VND_COMPRESSION		# compressed vnd(4)
540
541# network pseudo-devices
542pseudo-device	loop			# network loopback
543pseudo-device	bpfilter		# Berkeley packet filter
544#pseudo-device	carp			# Common Address Redundancy Protocol
545pseudo-device	ipfilter		# IP filter (firewall) and NAT
546pseudo-device	ppp			# Point-to-Point Protocol
547pseudo-device	pppoe			# PPP over Ethernet (RFC 2516)
548#pseudo-device	sl			# Serial Line IP
549pseudo-device	strip			# Starmode Radio IP (Metricom)
550pseudo-device	tun			# network tunneling over tty
551pseudo-device	tap			# virtual Ethernet
552pseudo-device	gre			# generic L3 over IP tunnel
553pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
554#pseudo-device	faith			# IPv[46] tcp relay translation i/f
555pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
556pseudo-device	vlan			# IEEE 802.1q encapsulation
557pseudo-device	bridge			# simple inter-network bridging
558#options	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
559
560# miscellaneous pseudo-devices
561pseudo-device	pty			# pseudo-terminals
562#pseudo-device	sequencer	1	# MIDI sequencer
563pseudo-device	rnd			# /dev/random and in-kernel generator
564#options 	RND_COM			# use "com" randomness as well
565pseudo-device	clockctl		# user control of clock subsystem
566pseudo-device	ksyms			# /dev/ksyms
567#pseudo-device	pf			# PF packet filter
568#pseudo-device	pflog			# PF log if
569
570# a pseudo device needed for Coda	# also needs CODA (above)
571#pseudo-device	vcoda		4	# coda minicache <-> venus comm.
572
573# wscons pseudo-devices
574pseudo-device	wsmux			# mouse & keyboard multiplexor
575pseudo-device	wsfont
576
577# Veriexec
578#
579# a pseudo device needed for veriexec
580#pseudo-device	veriexec		1
581#
582# Uncomment the fingerprint methods below that are desired. Note that
583# removing fingerprint methods will have almost no impact on the kernel
584# code size.
585#
586#options VERIFIED_EXEC_FP_RMD160
587#options VERIFIED_EXEC_FP_SHA256
588#options VERIFIED_EXEC_FP_SHA384
589#options VERIFIED_EXEC_FP_SHA512
590#options VERIFIED_EXEC_FP_SHA1
591#options VERIFIED_EXEC_FP_MD5
592