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