Home | History | Annotate | Line # | Download | only in conf
GENERIC revision 1.139
      1 # $NetBSD: GENERIC,v 1.139 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 
     21 include 	"arch/x68k/conf/std.x68k"
     22 
     23 options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
     24 
     25 #ident 		"GENERIC-$Revision: 1.139 $"
     26 
     27 maxusers	8
     28 
     29 ## System kernel configuration.  See options(4) for more detail.
     30 
     31 
     32 ## Options for variants of the m68k MPU
     33 ## you must have at least the correct one; REQUIRED
     34 options 	M68030
     35 options 	M68040
     36 options 	M68060
     37 ## If you want an optimized kernel for a specific processor, use either:
     38 #makeoptions	CMACHFLAGS="-m68030"
     39 #makeoptions	CMACHFLAGS="-m68040 -Wa,-m68030 -Wa,-m68851"
     40 #makeoptions	CMACHFLAGS="-m68060 -Wa,-m68030 -Wa,-m68851"
     41 
     42 
     43 #### System options specific to the x68k port
     44 
     45 options 	EXTENDED_MEMORY		# support for >16MB memory
     46 options 	FPU_EMULATE		# software fpu emulation for MC68030
     47 options 	FPSP			# floating point emulation for MC68040
     48 options 	M060SP			# int/fp emulation for MC68060
     49 #options 	JUPITER			# support for "Jupiter-X" accelerator
     50 #options 	MAPPEDCOPY		# use page mapping for large copyin/copyout
     51 #options 	ZSCONSOLE,ZSCN_SPEED="9600"	# use serial console
     52 
     53 
     54 #### System options that are the same for all ports
     55 
     56 ## Root device configuration: change the ?'s if you are going to use a
     57 ## nonstandard root partition (other than where the kernel is booted from)
     58 ## and/or nonstandard root type (not ffs or nfs).  Normally this can be
     59 ## automagically determined at boot time.
     60 
     61 config		netbsd	root on ? type ?
     62 #config		netbsd	root on sd0 type ffs
     63 
     64 ## RTC is offset from GMT; -540 means JST-9
     65 options 	RTC_OFFSET=-540	# hardware clock is this many mins. west of GMT
     66 
     67 ## System call tracing (see ktrace(1)).
     68 options 	KTRACE
     69 
     70 ## Collect statistics on kernel malloc's and free's.  This does have a
     71 ## significant performance hit on slower machines, so it is intended for
     72 ## diagnostic use only.
     73 #options 	KMEMSTATS
     74 
     75 ## System V compatible IPC subsystem.  (msgctl(2), semctl(2), and shmctl(2))
     76 options 	SYSVMSG		# System V message queues
     77 options 	SYSVSEM		# System V semaphores
     78 options 	SYSVSHM		# System V shared memory
     79 options 	P1003_1B_SEMAPHORE # p1003.1b semaphore support
     80 
     81 ## Loadable kernel module support
     82 #options 	LKM
     83 
     84 options 	USERCONF	# userconf(4) support
     85 #options 	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
     86 options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
     87 
     88 # Enable experimental buffer queue strategy for better responsiveness under 
     89 # high disk I/O load. Use it with caution - it's not proven to be stable yet.
     90 #options 	BUFQ_READPRIO
     91 #options 	BUFQ_PRIOCSCAN
     92 
     93 ## NFS boot options; not supported currently: needs nfsboot program
     94 #options 	NFS_BOOT_BOOTPARAM
     95 #options 	NFS_BOOT_BOOTP
     96 #options 	NFS_BOOT_DHCP
     97 
     98 #### Debugging options
     99 
    100 ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at
    101 ## serial console break or keyboard reset, where the PROM would normally
    102 ## intercept.  DDB_HISTORY_SIZE adds up/down arrow command history.
    103 #options 	DDB			# kernel dynamic debugger
    104 #options 	DDB_HISTORY_SIZE=100	# enable history editing in DDB
    105 #options 	DDB_ONPANIC=1		# see also sysctl(8): `ddb.onpanic'
    106 #options 	PANICBUTTON		# interrupt switch invokes DDB
    107 
    108 ## You may also use gdb, on another computer connected to this machine over
    109 ## a serial port.  Both KGDB_DEV and KGDB_DEVRATE should be specified;
    110 ## KGDB_DEV is a dev_t encoded device number of the serial port to use.
    111 ## KGDB is not supported for now.
    112 #options 	KGDB			# support for kernel gdb
    113 #options 	KGDB_DEV=0xc00		# kgdb device number
    114 #options 	KGDB_DEVRATE=9600	# baud rate
    115 
    116 ## Compile the kernel with debugging symbols (`netbsd.gdb' is the debug file),
    117 ## such that gdb(1) can be used on a kernel coredump.
    118 
    119 #makeoptions	DEBUG="-g"
    120 
    121 ## Adds code to the kernel that does internal consistency checks, and will
    122 ## cause the kernel to panic if corruption of internal data structures
    123 ## is detected.
    124 #options 	DIAGNOSTIC	# extra kernel sanity checking
    125 
    126 ## Enable (possibly expensive) debugging code that may also display messages
    127 ## on the system console
    128 #options 	DEBUG
    129 
    130 ## These options enable verbose messages for several subsystems.
    131 ## Warning, these may compile large string tables into the kernel!
    132 #options 	SCSIVERBOSE	# human readable SCSI error messages
    133 #options 	USBVERBOSE	# verbose USB device autoconfig messages
    134 
    135 ## `INSECURE' turns off the kernel security level (securelevel = 0 always).
    136 ## This allows writing to /dev/mem, loading kernel modules while multi-user,
    137 ## and other insecurities good only for development work.  Do not use this
    138 ## option on a production machine.
    139 #options 	INSECURE
    140 
    141 ## `FDSCRIPTS' allows non-readable but executable scripts by providing a
    142 ## pre-opened opaque file to the script interpreter.  `SETUIDSCRIPTS',
    143 ## which implies FDSCRIPTS, allows scripts to be set-user-id using the same
    144 ## opaque file mechanism.  Perl calls this "secure setuid scripts."
    145 
    146 #options 	FDSCRIPTS
    147 #options 	SETUIDSCRIPTS
    148 
    149 ## Options for compatibility with previous releases foreign system binaries.
    150 
    151 options 	COMPAT_43	# 4.3BSD system interfaces
    152 options 	COMPAT_09	# NetBSD 0.9 binary compatibility
    153 options 	COMPAT_10	# NetBSD 1.0 binary compatibility
    154 options 	COMPAT_11	# NetBSD 1.1 binary compatibility
    155 options 	COMPAT_12	# NetBSD 1.2 binary compatibility
    156 options 	COMPAT_13	# NetBSD 1.3 binary compatibility
    157 options 	COMPAT_14	# NetBSD 1.4 binary compatibility
    158 options 	COMPAT_15	# NetBSD 1.5 binary compatibility
    159 options 	COMPAT_16	# NetBSD 1.6 binary compatibility
    160 options 	COMPAT_20	# NetBSD 2.0 binary compatibility
    161 options 	COMPAT_30	# NetBSD 3.0 compatibility.
    162 options 	COMPAT_40	# NetBSD 4.0 compatibility.
    163 options 	COMPAT_AOUT_M68K # compatibility with NetBSD/m68k a.out
    164 #options 	COMPAT_M68K4K	# NetBSD/m68k4k binaries
    165 #options 	COMPAT_SUNOS	# SunOS 4.x binary compatibility; broken
    166 #options 	COMPAT_SVR4	# SVR4 binary compatibility; broken
    167 #options 	COMPAT_LINUX	# Linux/m68k binary compatibility
    168 #options 	TCP_COMPAT_42	# 4.2BSD TCP/IP bug compat. Not recommended.
    169 options 	COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.
    170 
    171 ## File systems.
    172 file-system	FFS		# Berkeley Fast Filesystem
    173 file-system	NFS		# Sun NFS-compatible filesystem client
    174 file-system	KERNFS		# kernel data-structure filesystem
    175 #file-system	NULLFS		# NULL layered filesystem (buggy)
    176 #file-system 	OVERLAY		# overlay file system
    177 file-system	MFS		# memory-based filesystem
    178 #file-system	FDESC		# user file descriptor filesystem
    179 file-system	UMAPFS		# uid/gid remapping filesystem
    180 #file-system	LFS		# Log-structured filesystem (experimental)
    181 #file-system	PORTAL		# portal filesystem (experimental)
    182 file-system	PROCFS		# /proc
    183 file-system	CD9660		# ISO 9660 + Rock Ridge file system
    184 #file-system	UNION		# union file system (a little buggy)
    185 file-system	MSDOSFS		# MS-DOS FAT filesystem(s).
    186 #file-system 	ADOSFS		# AmigaDOS filesystem
    187 file-system	PTYFS		# /dev/pts/N support
    188 #file-system	TMPFS		# Efficient memory file-system
    189 #file-system	UDF		# experimental - OSTA UDF CD/DVD file-system
    190 
    191 ## File system options.
    192 options 	NFSSERVER	# Sun NFS-compatible filesystem server
    193 #options 	QUOTA		# FFS quotas
    194 #options 	FFS_EI		# FFS Endian Independent support
    195 options 	SOFTDEP		# FFS soft updates support.
    196 #options 	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
    197 options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
    198 
    199 ## Network protocol support.  In most environments, INET is required.
    200 options 	INET		# IP (Internet Protocol) v4
    201 options 	INET6		# IPV6
    202 #options 	IPSEC		# IP security
    203 #options 	IPSEC_ESP	# IP security (encryption part; define w/IPSEC)
    204 #options 	IPSEC_NAT_T	# IPsec NAT traversal (NAT-T)
    205 #options 	IPSEC_DEBUG	# debug for IP security
    206 #options 	GATEWAY		# packet forwarding ("router switch")
    207 #options 	MROUTING	# packet forwarding of multicast packets
    208 #options 	PIM		# Protocol Independent Multicast
    209 #options 	DIRECTED_BROADCAST	# allow broadcasts through routers
    210 #options 	ISO,TPIP	# OSI networking
    211 #options 	EON		# OSI tunneling over IP
    212 #options 	NETATALK	# AppleTalk (over Ethernet) protocol
    213 #options 	NTP		# Network Time Protocol in-kernel support
    214 #options 	PPS_SYNC	# Add serial line synchronization for NTP
    215 options 	PFIL_HOOKS	# Add pfil(9) hooks, intended for custom LKMs.
    216 #options 	IPFILTER_LOG	# Add ipmon(8) logging for ipfilter device
    217 #options 	IPFILTER_LOOKUP	# ippool(8) support
    218 #options 	IPFILTER_DEFAULT_BLOCK	# block all packets by default
    219 #options 	PPP_BSDCOMP	# Add BSD compression to ppp device
    220 #options 	PPP_DEFLATE	# Add deflate (libz) compression to ppp device
    221 #options 	PPP_FILTER	# Add active filters for ppp (via bpf)
    222 #options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
    223 
    224 #options 	ALTQ		# Manipulate network interfaces' output queues
    225 #options 	ALTQ_BLUE	# Stochastic Fair Blue
    226 #options 	ALTQ_CBQ	# Class-Based Queueing
    227 #options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
    228 #options 	ALTQ_FIFOQ	# First-In First-Out Queue
    229 #options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
    230 #options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
    231 #options 	ALTQ_LOCALQ	# Local queueing discipline
    232 #options 	ALTQ_PRIQ	# Priority Queueing
    233 #options 	ALTQ_RED	# Random Early Detection
    234 #options 	ALTQ_RIO	# RED with IN/OUT
    235 #options 	ALTQ_WFQ	# Weighted Fair Queueing
    236 
    237 
    238 #### Device configurations
    239 
    240 ## Fundamental devices; see also std.x68k
    241 dmac0	at intio0 addr 0xe84000		# DMA controller
    242 xel0	at intio0
    243 opm0	at intio0 addr 0xe90000		# OPM: required for fdc
    244 
    245 ## Display devices and console
    246 grfbus0	at mainbus0			# bitmapped displays
    247 grf0	at grfbus0 addr 0		# multiplane graphics
    248 grf1	at grfbus0 addr 1		# flexible graphics
    249 
    250 kbd0	at mfp0				# standard keyboard
    251 ite0	at grf0 grfaddr 0		# internal terminal emulator
    252 options 	ITE_KERNEL_ATTR=4	# bold for kernel messages
    253 					# see /sys/arch/x68k/dev/itevar.h
    254 pseudo-device	pow		2	# software power switch
    255 
    256 ## floppy disks
    257 fdc0	at intio0 addr 0xe94000 intr 96 dma 0 dmaintr 100 # floppy controller
    258 fd*	at fdc0 unit ?			# builtin floppy drives
    259 
    260 ## SCSI devices
    261 scsirom0 at intio0 addr 0xfc0000		# Built-in SCSI BIOS
    262 scsirom1 at intio0 addr 0xea0020		# External SCSI BIOS
    263 spc0	at scsirom0				# genuin SCSI
    264 spc1	at scsirom1				# genuin SCSI
    265 scsibus* at spc?
    266 mha0	at scsirom1				# Mankai MK-HA1 (Mach-2)
    267 scsibus* at mha0
    268 
    269 sd*	at scsibus? target ? lun ?	# SCSI disks
    270 cd*	at scsibus? target ? lun ?	# SCSI CD-ROMs
    271 #st*	at scsibus? target ? lun ?	# SCSI tapes
    272 #ss*	at scsibus? target ? lun ?	# SCSI scanners
    273 #ch*	at scsibus? target ? lun ?	# SCSI changer devices
    274 #uk*	at scsibus? target ? lun ?	# SCSI unknown devices
    275 
    276 ## Ports
    277 zsc0	at intio0 addr 0xe98000 intr 112
    278 zstty0	at zsc0 channel 0		# built-in RS-232C
    279 ms0	at zsc0 channel 1		# standard mouse
    280 #zsc1	at intio0 addr 0xeafc00 intr 113
    281 #zstty2	at zsc1 channel 0
    282 #zstty3	at zsc1 channel 1
    283 #zsc2	at intio0 addr 0xeafc10 intr 114
    284 #zstty4	at zsc2 channel 0
    285 #zstty5	at zsc2 channel 1
    286 par0	at intio0 addr 0xe8c000 	# Builtin printer port
    287 
    288 pseudo-device	sram			# battery-backuped static RAM
    289 pseudo-device	bell			# OPM bell
    290 
    291 xcom0	at mainbus0			# NS16550 fast serial
    292 xcom1	at mainbus0
    293 
    294 ## Audio device
    295 vs0 at intio0 addr 0xe92000 dma 3 dmaintr 106
    296 audio*	at vs?
    297 
    298 ## Network interfaces
    299 ne*	at intio0 addr 0xece300 intr 249	# Nereid Ethernet
    300 ne*	at intio0 addr 0xeceb00 intr 248	# Nereid Ethernet
    301 neptune0 at intio0 addr 0xece000 intr 249	# Neptune-X
    302 neptune1 at intio0 addr 0xece400 intr 249	# Neptune-X at alt. addr.
    303 ne*	at neptune? addr 0x300			# NE2000 or clone
    304 
    305 ## Bank memory disk
    306 bmd*	at intio0 addr 0xece3f0		# Nereid
    307 bmd*	at intio0 addr 0xecebf0		# Nereid
    308 
    309 ## MII/PHY support for USB ethernet
    310 #acphy*	at mii? phy ?
    311 
    312 ## USB Controller and Devices; Experimental
    313 
    314 # Nereid USB controllers
    315 #slhci0	at intio0 addr 0xece380 intr 251
    316 #slhci1	at intio0 addr 0xeceb80 intr 250
    317 #options 	SLHCI_DEBUG
    318 
    319 # USB bus support
    320 #usb*	at slhci?
    321 
    322 # USB Hubs
    323 #uhub*	at usb?
    324 #uhub*	at uhub? port ?
    325 
    326 # USB HID device
    327 #uhidev*	at uhub? port ? configuration ? interface ?
    328 
    329 # USB Mice; not supported wscons yet
    330 #ums*	at uhidev? reportid ?
    331 #wsmouse* at ums? mux 0
    332 
    333 # USB Keyboards; not supported wscons yet
    334 #ukbd*	at uhidev? reportid ?
    335 #wskbd*	at ukbd? console ? mux 1
    336 
    337 # USB serial adapter
    338 #ucycom*	at uhidev? reportid ?
    339 
    340 # USB Generic HID devices
    341 #uhid*	at uhidev? reportid ?
    342 
    343 # USB Printer
    344 #ulpt*	at uhub? port ? configuration ? interface ?
    345 
    346 # USB Modem
    347 #umodem*	at uhub? port ? configuration ?
    348 #ucom*	at umodem?
    349 
    350 # USB Mass Storage; wd not supported
    351 #umass*	at uhub? port ? configuration ? interface ?
    352 #atapibus* at umass? channel ?
    353 #scsibus* at umass? channel ?
    354 #wd* at umass?
    355 
    356 # USB audio
    357 #uaudio*	at uhub? port ? configuration ?
    358 
    359 # USB MIDI
    360 #umidi* at uhub? port ? configuration ?
    361 
    362 # USB IrDA
    363 # USB-IrDA bridge spec
    364 #uirda* at uhub? port ? configuration ? interface ?
    365 #irframe* at uirda?
    366 
    367 # SigmaTel STIr4200 USB/IrDA Bridge
    368 #ustir* at uhub? port ?
    369 #irframe* at ustir?
    370 
    371 # USB Ethernet adapters
    372 #aue*	at uhub? port ?		# ADMtek AN986 Pegasus based adapters
    373 #axe*	at uhub? port ?		# ASIX AX88172 based adapters
    374 #cue*	at uhub? port ?		# CATC USB-EL1201A based adapters
    375 #kue*	at uhub? port ?		# Kawasaki LSI KL5KUSB101B based adapters
    376 #url*	at uhub? port ?		# Realtek RTL8150L based adapters
    377 #udav*	at uhub? port ?		# Davicom DM9601 based adapters
    378 
    379 # Prolific PL2301/PL2302 host-to-host adapter
    380 #upl*	at uhub? port ?
    381 
    382 # Serial adapters
    383 #uftdi*	at uhub? port ?		# FTDI FT8U100AX serial adapter
    384 #ucom*	at uftdi? portno ?
    385 
    386 #umct*	at uhub? port ?		# MCT USB-RS232 serial adapter
    387 #ucom*	at umct? portno ?
    388 
    389 #uplcom*	at uhub? port ?		# I/O DATA USB-RSAQ2 serial adapter
    390 #ucom*	at uplcom? portno ?
    391 
    392 #uvscom*	at uhub? port ?		# SUNTAC Slipper U VS-10U serial adapter
    393 #ucom*	at uvscom? portno ?
    394 
    395 # Diamond Multimedia Rio 500
    396 #urio*	at uhub? port ?
    397 
    398 # USB Handspring Visor
    399 #uvisor*	at uhub? port ?
    400 #ucom*	at uvisor?
    401 
    402 # Kyocera AIR-EDGE PHONE
    403 #ukyopon* at uhub? port ?
    404 #ucom*	at ukyopon? portno ?
    405 
    406 # USB scanners
    407 #uscanner* at uhub? port ?
    408 
    409 # USB scanners that use SCSI emulation, e.g., HP5300
    410 #usscanner* at uhub? port ?
    411 #scsibus* at usscanner? channel ?
    412 
    413 # Y@P firmware loader
    414 #uyap* at uhub? port ?
    415 
    416 # D-Link DSB-R100 USB radio
    417 #udsbr*	at uhub? port ?
    418 #radio*	at udsbr?
    419 
    420 # USB Generic driver
    421 #ugen*	at uhub? port ?
    422 
    423 
    424 #### Pseudo devices
    425 
    426 ## A disk-like interface to files.  Can be used to create floppy, CD,
    427 ## miniroot images, etc.
    428 
    429 pseudo-device	vnd	
    430 #options 	VND_COMPRESSION		# compressed vnd(4)
    431 
    432 ## Concatenated and striped disks; with this, you can create a software-based
    433 ## disk array similar to a "RAID 0" setup.  See ccd(4).
    434 
    435 #pseudo-device	ccd	4
    436 
    437 ## Cryptographic disk devices.  See cgd(4).
    438 
    439 #pseudo-device	cgd	4
    440 
    441 ## RAIDframe disk driver: software RAID driver.  See raid(4).
    442 
    443 pseudo-device	raid	8
    444 options 	RAID_AUTOCONFIG		# auto-configuration of RAID components
    445 # Options to enable various other RAIDframe RAID types.
    446 # options 	RF_INCLUDE_EVENODD=1
    447 # options 	RF_INCLUDE_RAID5_RS=1
    448 # options 	RF_INCLUDE_PARITYLOGGING=1
    449 # options 	RF_INCLUDE_CHAINDECLUSTER=1
    450 # options 	RF_INCLUDE_INTERDECLUSTER=1
    451 # options 	RF_INCLUDE_PARITY_DECLUSTERING=1
    452 # options 	RF_INCLUDE_PARITY_DECLUSTERING_DS=1
    453 
    454 
    455 ## Memory disk device, used on boot floppies with compressed
    456 ## kernel-plus-root-disk images.
    457 
    458 #pseudo-device	md	1
    459 
    460 ## Loopback network interface; required
    461 pseudo-device	loop
    462 
    463 ## SLIP and CSLIP interfaces, for IP over a serial line.
    464 pseudo-device	sl		
    465 
    466 ## PPP, the successor to SLIP.  See pppd(8).
    467 pseudo-device	ppp		
    468 
    469 ## PPP over Ethernet (RFC 2516)
    470 pseudo-device	pppoe
    471 
    472 ## Network "tunnel" device, allowing protocol stacks to run in the userland.
    473 ## This is used by the third-party user-mode "ppp" program, and others.
    474 #pseudo-device	tun		
    475 #pseudo-device	tap			# virtual Ethernet
    476 
    477 ## Generic L3 over IP tunnel
    478 #pseudo-device	gre			# generic L3 over IP tunnel
    479 
    480 ## Berkeley Packet Filter, required to run RARPD.  A generic C-language
    481 ## interface that allows selective examining of incoming packets.
    482 pseudo-device	bpfilter
    483 
    484 #pseudo-device	carp			# Common Address Redundancy Protocol
    485 
    486 ## IP Filter, used in firewall and NAT applications.  See ipnat(8) for
    487 ## one example of the use of the IP Filter.
    488 #pseudo-device	ipfilter
    489 
    490 ## for IPv6
    491 pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
    492 #pseudo-device	faith			# IPv[46] tcp relay translation i/f
    493 pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
    494 
    495 ## IEEE 802.1Q Virtual LAN encapsulation, see vlan(4).
    496 pseudo-device	vlan
    497 
    498 ## Simple inter-network traffic bridging
    499 pseudo-device	bridge
    500 #options 	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
    501 pseudo-device	agr			# IEEE 802.3ad link aggregation
    502 
    503 #### Other device configuration
    504 
    505 ## Pseudo ttys, required for network logins and programs like screen.
    506 
    507 pseudo-device	pty			# pseudo-terminals
    508 
    509 ## Random device, used to implement /dev/random (a source of random noise),
    510 ## and generate randomness for some kernel formulae.
    511 
    512 pseudo-device	rnd
    513 
    514 pseudo-device	clockctl		# user control of clock subsystem
    515 pseudo-device	ksyms			# /dev/ksyms
    516 #pseudo-device	pf			# PF packet filter
    517 #pseudo-device	pflog			# PF log if
    518 pseudo-device	fss		4	# file system snapshot device
    519 
    520 # Veriexec
    521 #
    522 # a pseudo device needed for veriexec
    523 #pseudo-device	veriexec		1
    524 #
    525 # Uncomment the fingerprint methods below that are desired. Note that
    526 # removing fingerprint methods will have almost no impact on the kernel
    527 # code size.
    528 #
    529 #options VERIFIED_EXEC_FP_RMD160
    530 #options VERIFIED_EXEC_FP_SHA256
    531 #options VERIFIED_EXEC_FP_SHA384
    532 #options VERIFIED_EXEC_FP_SHA512
    533 #options VERIFIED_EXEC_FP_SHA1
    534 #options VERIFIED_EXEC_FP_MD5
    535