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