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