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