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