GENERIC32_IP3x revision 1.102.2.1       1 #	$NetBSD: GENERIC32_IP3x,v 1.102.2.1 2014/11/14 15:16:18 martin Exp $
      2 #
      3 # GENERIC32_IP3x 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 #
     21 #
     22 # Currently this config file supports O2 (IP32).
     23 #
     24 
     25 include 	"arch/sgimips/conf/std.sgimips"
     26 
     27 makeoptions	TEXTADDR="0x80069000"	# entry point
     28 
     29 options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
     30 
     31 #ident		"GENERIC32_IP3x-$Revision: 1.102.2.1 $"
     32 
     33 maxusers	32
     34 
     35 # CPU related options
     36 options 	MIPS3		# MIPS3 support
     37 options 	ENABLE_MIPS4_CACHE_R10K # enable R10000 cache ops
     38 #options 	BLINK		# blinkenlitzen
     39 makeoptions	CPUFLAGS="-march=mips3 -mtune=vr5000"
     40 
     41 # Standard system options
     42 #options 	INSECURE	# disable kernel security levels
     43 
     44 #options 	NTP		# NTP phase/frequence locked loop
     45 options 	KTRACE		# system call tracing via ktrace(1)
     46 
     47 options 	SYSVMSG		# System V message queues
     48 options 	SYSVSEM		# System V semaphores
     49 options 	SYSVSHM		# System V shared memory
     50 
     51 options 	USERCONF	# userconf(4) support
     52 #options 	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
     53 options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
     54 
     55 # Enable experimental buffer queue strategy for better responsiveness under 
     56 # high disk I/O load. Use it with caution - it's not proven to be stable yet.
     57 #options 	BUFQ_READPRIO
     58 #options 	BUFQ_PRIOCSCAN
     59 
     60 # Diagnostic/debugging support options
     61 #options 	DIAGNOSTIC	# expensive kernel consistency checks
     62 #options 	DEBUG		# expensive debugging checks/support
     63 #options 	KMEMSTATS	# kernel memory statistics (vmstat -m)
     64 options 	DDB		# in-kernel debugger
     65 options 	DDB_HISTORY_SIZE=512	# enable history editing in DDB
     66 #options 	KGDB		# remote debugger
     67 #options 	KGDB_DEV=0x2301		# KGDB port - this is Serial(1)
     68 #options 	KGDB_DEVRATE=19200	# KGDB Baud Rate
     69 #makeoptions	DEBUG="-g"	# compile full symbol table
     70 
     71 # Compatibility options
     72 options 	COMPAT_15	# NetBSD 1.5
     73 options 	COMPAT_16	# NetBSD 1.6
     74 options 	COMPAT_20	# NetBSD 2.0
     75 options 	COMPAT_30	# NetBSD 3.0
     76 options 	COMPAT_40	# NetBSD 4.0 compatibility.
     77 options 	COMPAT_50	# NetBSD 5.0 compatibility.
     78 options 	COMPAT_60	# NetBSD 6.0 compatibility.
     79 #options 	TCP_COMPAT_42	# 4.2BSD TCP/IP bug compat. Not recommended.
     80 
     81 options 	COMPAT_LINUX	# binary compatibility with Linux
     82 #options 	COMPAT_ULTRIX	# binary compatibility with Ultrix 
     83 options 	COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.
     84 
     85 # File systems
     86 file-system 	FFS		# UFS
     87 file-system 	EXT2FS		# second extended file system (linux)
     88 file-system 	LFS		# log-structured file system
     89 file-system 	MFS		# memory file system
     90 file-system 	NFS		# Network File System client
     91 file-system 	NTFS		# Windows/NT file system (experimental)
     92 file-system 	CD9660		# ISO 9660 + Rock Ridge file system
     93 file-system 	MSDOSFS		# MS-DOS file system
     94 file-system 	FDESC		# /dev/fd
     95 file-system 	KERNFS		# /kern
     96 file-system 	NULLFS		# loopback file system
     97 file-system 	OVERLAY		# overlay file system
     98 file-system	PUFFS		# Userspace file systems (e.g. ntfs-3g & sshfs)
     99 file-system 	PROCFS		# /proc
    100 file-system 	UMAPFS		# NULLFS + uid and gid remapping
    101 file-system 	UNION		# union file system
    102 file-system	CODA		# Coda File System; also needs vcoda (below)
    103 file-system	PTYFS		# /dev/pts/N support
    104 file-system	TMPFS		# Efficient memory file-system
    105 #file-system	UDF		# experimental - OSTA UDF CD/DVD file-system
    106 file-system	EFS		# Silicon Graphics Extent File System
    107 
    108 # File system options
    109 options 	QUOTA		# legacy UFS quotas
    110 options 	QUOTA2		# new, in-filesystem UFS quotas
    111 #options 	FFS_EI		# FFS Endian Independent support
    112 options 	WAPBL		# File system journaling support
    113 #options 	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
    114 options 	NFSSERVER	# Network File System server
    115 #options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
    116 options 	UFS_EXTATTR	# Extended attribute support for UFS1
    117 options 	UFS_EXTATTR_AUTOSTART
    118 options 	UFS_EXTATTR_AUTOCREATE=1024
    119 #options 	EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
    120 				# immutable) behave as system flags.
    121 
    122 # Networking options
    123 #options 	GATEWAY		# packet forwarding
    124 options 	INET		# IP + ICMP + TCP + UDP
    125 options 	INET6		# IPV6
    126 #options 	IPSEC		# IP security
    127 #options 	IPSEC_DEBUG	# debug for IP security
    128 #options 	MROUTING	# IP multicast routing
    129 #options 	PIM		# Protocol Independent Multicast
    130 options 	NETATALK	# AppleTalk networking protocols
    131 options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
    132 options 	PPP_DEFLATE	# Deflate compression support for PPP
    133 options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
    134 options 	IPFILTER_LOG	# ipmon(8) log support
    135 options 	IPFILTER_LOOKUP	# ippool(8) support
    136 #options 	IPFILTER_DEFAULT_BLOCK	# block all packets by default
    137 #options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
    138 
    139 #options 	ALTQ		# Manipulate network interfaces' output queues
    140 #options 	ALTQ_BLUE	# Stochastic Fair Blue
    141 #options 	ALTQ_CBQ	# Class-Based Queueing
    142 #options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
    143 #options 	ALTQ_FIFOQ	# First-In First-Out Queue
    144 #options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
    145 #options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
    146 #options 	ALTQ_LOCALQ	# Local queueing discipline
    147 #options 	ALTQ_PRIQ	# Priority Queueing
    148 #options 	ALTQ_RED	# Random Early Detection
    149 #options 	ALTQ_RIO	# RED with IN/OUT
    150 #options 	ALTQ_WFQ	# Weighted Fair Queueing
    151 
    152 # JIT compiler for bpfilter
    153 #options	SLJIT
    154 #options	BPFJIT
    155 
    156 # These options enable verbose messages for several subsystems.
    157 # Warning, these may compile large string tables into the kernel!
    158 options 	MIIVERBOSE	# verbose PHY autoconfig messages
    159 options 	PCIVERBOSE	# verbose PCI device autoconfig messages
    160 #options 	PCI_CONFIG_DUMP	# verbosely dump PCI config space
    161 options 	SCSIVERBOSE	# human readable SCSI error messages
    162 
    163 options 	NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM
    164 
    165 #options 	MEMORY_DISK_HOOKS
    166 #options 	MEMORY_DISK_IS_ROOT
    167 #options 	MEMORY_DISK_SERVER=0
    168 #options 	MINIROOTSIZE=8192
    169 
    170 #options 	SCSI_DELAY=5
    171 
    172 # Kernel root file system and dump configuration.
    173 config		netbsd	root on ? type ?
    174 
    175 # Main bus and CPU
    176 mainbus0 	at root
    177 cpu0 		at mainbus?
    178 
    179 # O2 busses
    180 crime0 		at mainbus0 addr 0x14000000
    181 crmfb0		at mainbus0 addr 0x16000000
    182 wsdisplay* 	at crmfb? console ?
    183 mace0 		at mainbus0 addr 0x1f000000
    184 #options 	MACE_NEEDS_DELAYS
    185 macepci0 	at mace0 offset 0x080000 intr 7
    186 pci0 		at macepci0 bus 0
    187 pci*		at ppb? bus ?
    188 options 	PCI_NETBSD_CONFIGURE
    189 
    190 options 	WSEMUL_VT100
    191 options 	WSDISPLAY_COMPAT_USL		# wsconscfg VT handling
    192 options 	WS_KERNEL_FG=WSCOL_GREEN
    193 options 	WS_KERNEL_BG=WSCOL_BLACK
    194 options 	WS_DEFAULT_BG=WSCOL_BLACK
    195 
    196 # MACE devices
    197 mec0 		at mace0 offset 0x280000 intr 3
    198 mavb0		at mace0 offset 0x300000 intr 6
    199 macekbc0	at mace0 offset 0x320000 intr 5
    200 lpt0 		at mace0 offset 0x380000 intr 4 intrmask 0x000f0000
    201 com0 		at mace0 offset 0x390000 intr 4 intrmask 0x03f00000
    202 com1 		at mace0 offset 0x398000 intr 4 intrmask 0xfc000000
    203 mcclock0	at mace0 offset 0x3a0000
    204 
    205 # PCI bridges
    206 ppb*	at pci? dev ? function ?	# PCI-PCI bridges
    207 
    208 # PCI cryptographic devices
    209 hifn*	at pci? dev ? function ?	# Hifn 7755/7811/795x
    210 ubsec*	at pci? dev ? function ?	# Broadcom 5501/5601/580x/582x
    211 
    212 # PCI network devices
    213 #an*     at pci? dev ? function ?        # Aironet PC4500/PC4800 (802.11)
    214 #bge*    at pci? dev ? function ?        # Broadcom 570x gigabit Ethernet
    215 #en*     at pci? dev ? function ?        # ENI/Adaptec ATM
    216 ep*     at pci? dev ? function ?        # 3Com 3c59x
    217 epic*   at pci? dev ? function ?        # SMC EPIC/100 Ethernet
    218 esh*    at pci? dev ? function ?        # Essential HIPPI card
    219 ex*     at pci? dev ? function ?        # 3Com 90x[BC]
    220 fpa*    at pci? dev ? function ?        # DEC DEFPA FDDI
    221 fxp*    at pci? dev ? function ?        # Intel EtherExpress PRO 10+/100B
    222 gsip*   at pci? dev ? function ?        # NS83820 Gigabit Ethernet
    223 #hme*   at pci? dev ? function ?        # Sun Microelectronics STP2002-STQ
    224 le*     at pci? dev ? function ?        # PCnet-PCI Ethernet
    225 lmc*    at pci? dev ? function ?        # Lan Media Corp SSI/HSSI/DS3
    226 mtd*    at pci? dev ? function ?        # Myson MTD803 3-in-1 Ethernet
    227 ne*     at pci? dev ? function ?        # NE2000-compatible Ethernet
    228 ntwoc*  at pci? dev ? function ?        # Riscom/N2 PCI Sync Serial
    229 pcn*    at pci? dev ? function ?        # AMD PCnet-PCI Ethernet
    230 re*     at pci? dev ? function ?        # Realtek 8139C+/8169/8169S/8110S
    231 rtk*    at pci? dev ? function ?        # Realtek 8129/8139
    232 sf*     at pci? dev ? function ?        # Adaptec AIC-6915 Ethernet
    233 sip*    at pci? dev ? function ?        # SiS 900/DP83815 Ethernet
    234 #skc*   at pci? dev ? function ?        # SysKonnect SK9821 Gigabit Ethernet
    235 #sk*    at skc?                         # SysKonnect SK9821 Gigabit Ethernet
    236 ste*    at pci? dev ? function ?        # Sundance ST-201 Ethernet
    237 #stge*   at pci? dev ? function ?        # Sundance/Tamarack TC9021 Gigabit
    238 ti*     at pci? dev ? function ?        # Alteon ACEnic gigabit Ethernet
    239 tl*     at pci? dev ? function ?        # ThunderLAN-based Ethernet
    240 tlp*    at pci? dev ? function ?        # DECchip 21x4x and clones
    241 vr*     at pci? dev ? function ?        # VIA Rhine Fast Ethernet
    242 wi*     at pci? dev ? function ?        # Intersil Prism Mini-PCI (802.11b)
    243 wm*     at pci? dev ? function ?        # Intel 82543/82544 gigabit
    244 
    245 # MII/PHY support
    246 acphy*  at mii? phy ?                   # Altima AC101 and AMD Am79c874 PHYs
    247 amhphy* at mii? phy ?                   # AMD 79c901 Ethernet PHYs
    248 bmtphy*	at mii? phy ?			# Broadcom BCM5201 and BCM5202 PHYs
    249 brgphy* at mii? phy ?                   # Broadcom BCM5400-family PHYs
    250 dmphy*  at mii? phy ?                   # Davicom DM9101 PHYs
    251 exphy*	at mii? phy ?			# 3Com internal PHYs
    252 gentbi* at mii? phy ?                   # Generic Ten-Bit 1000BASE-[CLS]X PHYs
    253 glxtphy* at mii? phy ?			# Level One LXT-1000 PHYs
    254 gphyter* at mii? phy ?			# NS83861 Gig-E PHY
    255 icsphy* at mii? phy ?                   # Integrated Circuit Systems ICS189x
    256 ikphy*	at mii? phy ?			# Intel 82563 PHYs
    257 inphy*	at mii? phy ?			# Intel 82555 PHYs
    258 iophy*  at mii? phy ?                   # Intel 82553 PHYs
    259 lxtphy* at mii? phy ?                   # Level One LXT-970 PHYs
    260 makphy*	at mii? phy ?			# Marvell Semiconductor 88E1000 PHYs
    261 nsphy*	at mii? phy ?			# NS83840 PHYs
    262 nsphyter* at mii? phy ?                 # NS83843 PHYs
    263 pnaphy* at mii? phy ?                   # generic HomePNA PHYs
    264 qsphy*  at mii? phy ?                   # Quality Semiconductor QS6612 PHYs
    265 rgephy* at mii? phy ?                   # Realtek 8169S/8110S internal PHYs
    266 sqphy*  at mii? phy ?                   # Seeq 80220/80221/80223 PHYs
    267 tlphy*  at mii? phy ?                   # ThunderLAN PHYs
    268 tqphy*  at mii? phy ?                   # TDK Semiconductor PHYs
    269 ukphy*	at mii? phy ?			# generic unknown PHYs
    270 urlphy* at mii? phy ?                   # Realtek RTL8150L internal PHYs
    271 
    272 # O2 SCSI
    273 adv* 		at pci? dev ? function ?
    274 ahc* 		at pci? dev ? function ?
    275 esiop*		at pci? dev ? function ?
    276 njs*		at pci? dev ? function ?
    277 pcscp*		at pci? dev ? function ?
    278 scsibus* 	at scsi?
    279 
    280 sd*     at scsibus? target ? lun ?	# SCSI disks
    281 st*     at scsibus? target ? lun ?	# SCSI tapes
    282 cd*     at scsibus? target ? lun ?	# SCSI CD-ROMs
    283 ch*     at scsibus? target ? lun ?	# SCSI changer devices
    284 ss*     at scsibus? target ? lun ?	# SCSI scanners
    285 ses*    at scsibus? target ? lun ?	# SCSI SES/SAF-TE devices
    286 uk*     at scsibus? target ? lun ?	# unknown SCSI
    287 
    288 pckbd*		at macekbc?
    289 pms*		at macekbc?
    290 wskbd*		at pckbd? console ?
    291 wsmouse* 	at pms? mux 0
    292 #wsdisplay* 	at foofb? console ?
    293 
    294 # USB Controller and Devices
    295 
    296 # PCI USB controllers
    297 ehci*	at pci? dev ? function ?        # Enhanced Host Controller
    298 ohci*   at pci? dev ? function ?        # Open Host Controller
    299 uhci*   at pci? dev ? function ?        # Universal Host Controller (Intel)
    300 
    301 # USB bus support
    302 usb*	at ehci?
    303 usb*    at ohci?
    304 usb*    at uhci?
    305 
    306 # USB Hubs
    307 uhub*   at usb?
    308 uhub*   at uhub? port ?
    309 
    310 # USB HID device
    311 uhidev* at uhub? port ? configuration ? interface ?
    312 
    313 # USB Mice
    314 ums*    at uhidev? reportid ?
    315 wsmouse* at ums? mux 0
    316 
    317 # USB Keyboards
    318 ukbd*   at uhidev? reportid ?
    319 wskbd*  at ukbd? console ? mux 1
    320 
    321 # USB serial adapter
    322 ucycom*	at uhidev? reportid ?
    323 
    324 # USB Generic HID devices
    325 uhid*   at uhidev? reportid ?
    326 
    327 # USB Printer
    328 ulpt*   at uhub? port ? configuration ? interface ?
    329 
    330 # USB Modem
    331 umodem* at uhub? port ? configuration ?
    332 ucom*   at umodem?
    333 
    334 # Option N.V. Wireless WAN modems
    335 uhso*	at uhub? port ? configuration ?
    336 
    337 # USB Mass Storage
    338 umass*  at uhub? port ? configuration ? interface ?
    339 #wd* at umass?
    340 
    341 # USB audio
    342 uaudio* at uhub? port ? configuration ?
    343 
    344 # USB MIDI
    345 umidi* at uhub? port ? configuration ?
    346 
    347 # USB IrDA
    348 # USB-IrDA bridge spec
    349 uirda* at uhub? port ? configuration ? interface ?
    350 irframe* at uirda?
    351 
    352 # SigmaTel STIr4200 USB/IrDA Bridge
    353 ustir* at uhub? port ?
    354 irframe* at ustir?
    355 
    356 # USB Ethernet adapters
    357 aue*    at uhub? port ?         # ADMtek AN986 Pegasus based adapters
    358 axe*    at uhub? port ?         # ASIX AX88172 based adapters
    359 cue*    at uhub? port ?         # CATC USB-EL1201A based adapters
    360 kue*    at uhub? port ?         # Kawasaki LSI KL5KUSB101B based adapters
    361 url*    at uhub? port ?         # Realtek RTL8150L based adapters
    362 udav*   at uhub? port ?         # Davicom DM9601 based adapters
    363 
    364 # Prolific PL2301/PL2302 host-to-host adapter
    365 upl*    at uhub? port ?
    366 
    367 # Serial adapters
    368 ubsa*   at uhub? port ?         # Belkin serial adapter
    369 ucom*   at ubsa? portno ?
    370 
    371 uftdi*  at uhub? port ?         # FTDI FT8U100AX serial adapter
    372 ucom*   at uftdi? portno ?
    373 
    374 umct*   at uhub? port ?         # MCT USB-RS232 serial adapter
    375 ucom*   at umct? portno ?
    376 
    377 uplcom* at uhub? port ?         # I/O DATA USB-RSAQ2 serial adapter
    378 ucom*   at uplcom? portno ?
    379 
    380 uvscom* at uhub? port ?         # SUNTAC Slipper U VS-10U serial adapter
    381 ucom*   at uvscom? portno ?
    382 
    383 # Diamond Multimedia Rio 500
    384 urio*   at uhub? port ?
    385 
    386 # USB Handspring Visor
    387 uvisor* at uhub? port ?
    388 ucom*   at uvisor?
    389 
    390 # Kyocera AIR-EDGE PHONE
    391 ukyopon* at uhub? port ?
    392 ucom*	at ukyopon? portno ?
    393 
    394 # USB scanners
    395 uscanner* at uhub? port ?
    396 
    397 # USB scanners that use SCSI emulation, e.g., HP5300
    398 usscanner* at uhub? port ?
    399 
    400 # Y@P firmware loader
    401 uyap* at uhub? port ?
    402 
    403 # D-Link DSB-R100 USB radio
    404 udsbr*  at uhub? port ?
    405 radio*  at udsbr?
    406 
    407 # USB Generic driver
    408 ugen*   at uhub? port ?
    409 
    410 # PCI IEEE1394 controllers
    411 fwohci* at pci? dev ? function ?	# IEEE1394 Open Host Controller
    412 
    413 ieee1394if* at fwohci?
    414 fwip*	at ieee1394if?			# IP over IEEE1394
    415 sbp*	at ieee1394if? euihi ? euilo ?
    416 
    417 # Audio support
    418 audio*  at audiobus?
    419 
    420 # MIDI support
    421 midi*   at midibus?
    422 
    423 # Pseudo-Devices
    424 
    425 pseudo-device	crypto			# /dev/crypto device
    426 pseudo-device	swcrypto		# software crypto implementation
    427 
    428 # disk/mass storage pseudo-devices
    429 pseudo-device	ccd			# concatenated/striped disk devices
    430 #pseudo-device	cgd			# cryptographic disk devices
    431 #pseudo-device	raid			# RAIDframe disk driver
    432 #options 	RAID_AUTOCONFIG		# auto-configuration of RAID components
    433 pseudo-device	fss			# file system snapshot device
    434 pseudo-device	md			# memory disk device (ramdisk)
    435 pseudo-device	vnd			# disk-like interface to files
    436 #options 	VND_COMPRESSION		# compressed vnd(4)
    437 
    438 # network pseudo-devices
    439 pseudo-device	bpfilter		# Berkeley packet filter
    440 #pseudo-device	carp			# Common Address Redundancy Protocol
    441 pseudo-device	ipfilter		# IP filter (firewall) and NAT
    442 pseudo-device	loop			# network loopback
    443 pseudo-device	ppp			# Point-to-Point Protocol
    444 pseudo-device	sl			# Serial Line IP
    445 pseudo-device	strip			# Starmode Radio IP (Metricom)
    446 pseudo-device	tun			# network tunneling over tty
    447 pseudo-device	tap			# virtual Ethernet
    448 pseudo-device	gre			# generic L3 over IP tunnel
    449 pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
    450 #pseudo-device	faith			# IPv[46] tcp relay translation i/f
    451 pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
    452 pseudo-device	vlan			# IEEE 802.1q encapsulation
    453 pseudo-device	bridge			# simple inter-network bridging
    454 #options 	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
    455 pseudo-device	agr			# IEEE 802.3ad link aggregation
    456 #pseudo-device	pf			# PF packet filter
    457 #pseudo-device	pflog			# PF log if
    458 pseudo-device   accf_data		# "dataready" accept filter
    459 pseudo-device   accf_http		# "httpready" accept filter
    460 
    461 # miscellaneous pseudo-devices
    462 pseudo-device	pty			# pseudo-terminals
    463 pseudo-device	sequencer		# MIDI sequencer
    464 pseudo-device	clockctl		# user control of clock subsystem
    465 pseudo-device	ksyms			# /dev/ksyms
    466 pseudo-device	putter			# for puffs and pud
    467 
    468 # wscons pseudo-devices
    469 pseudo-device	wsmux			# mouse & keyboard multiplexor
    470 pseudo-device	wsfont
    471 
    472 # userland interface to drivers, including autoconf and properties retrieval
    473 pseudo-device	drvctl
    474 
    475 # a pseudo device needed for Coda	# also needs CODA (above)
    476 pseudo-device	vcoda			# coda minicache <-> venus comm.
    477 
    478 # Veriexec
    479 #
    480 # a pseudo device needed for veriexec
    481 #pseudo-device	veriexec
    482 #
    483 # Uncomment the fingerprint methods below that are desired. Note that
    484 # removing fingerprint methods will have almost no impact on the kernel
    485 # code size.
    486 #
    487 #options VERIFIED_EXEC_FP_RMD160
    488 #options VERIFIED_EXEC_FP_SHA256
    489 #options VERIFIED_EXEC_FP_SHA384
    490 #options VERIFIED_EXEC_FP_SHA512
    491 #options VERIFIED_EXEC_FP_SHA1
    492 #options VERIFIED_EXEC_FP_MD5
    493