Home | History | Annotate | Line # | Download | only in conf
GENERIC revision 1.196
      1  1.196      maxv # $NetBSD: GENERIC,v 1.196 2015/08/08 06:36:26 maxv Exp $
      2    1.1     ragge #
      3   1.92  gmcgarry # GENERIC machine description file
      4   1.92  gmcgarry # 
      5   1.92  gmcgarry # This machine description file is used to generate the default NetBSD
      6   1.92  gmcgarry # kernel.  The generic kernel does not include all options, subsystems
      7   1.92  gmcgarry # and device drivers, but should be useful for most applications.
      8    1.1     ragge #
      9   1.92  gmcgarry # The machine description file can be customised for your specific
     10   1.92  gmcgarry # machine to reduce the kernel size and improve its performance.
     11   1.92  gmcgarry #
     12   1.92  gmcgarry # For further information on compiling NetBSD kernels, see the config(8)
     13   1.92  gmcgarry # man page.
     14   1.92  gmcgarry #
     15   1.92  gmcgarry # For further information on hardware support for this architecture, see
     16   1.92  gmcgarry # the intro(4) man page.  For further information about kernel options
     17   1.92  gmcgarry # for this architecture, see the options(4) man page.  For an explanation
     18   1.92  gmcgarry # of each device driver in this file see the section 4 man page for the
     19   1.92  gmcgarry # device.
     20    1.1     ragge 
     21   1.22     ragge include		"arch/vax/conf/std.vax"
     22   1.57   hubertf 
     23   1.97    atatat options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
     24   1.97    atatat 
     25  1.196      maxv #ident 		"GENERIC-$Revision: 1.196 $"
     26    1.1     ragge 
     27    1.4     ragge # Here are all different supported CPU types listed.
     28   1.91     lukem #options 	VAX8800		# VAX 8500, 8530, 8550, 8700, 8800
     29   1.91     lukem options 	VAX8600
     30   1.91     lukem options 	VAX8200
     31   1.91     lukem #options 	VAX6400
     32   1.91     lukem options 	VAX780
     33   1.91     lukem options 	VAX750
     34   1.91     lukem options 	VAX630		# MV II
     35   1.91     lukem options 	VAX650		# MV III, 3300, 3400, 3500, 3600, 3800, 3900
     36   1.91     lukem options 	VAX660		# VAX 4000/200
     37   1.91     lukem options 	VAX670		# VAX 4000/300
     38   1.91     lukem options 	VAX680		# VAX 4000/[45]00
     39   1.91     lukem options 	VAX410		# VS 2000
     40   1.91     lukem options 	VAX43		# VS 3100/76
     41   1.91     lukem options 	VAX46		# VS 4000/60
     42   1.91     lukem options 	VAX48		# VS 4000 VLC
     43   1.91     lukem options 	VAX49		# VS 4000/90
     44   1.91     lukem options 	VAX53		# VAX 4000/10[058], MicroVAX 3100/m96
     45    1.1     ragge 
     46    1.4     ragge # Max users on system; this is just a hint
     47    1.9     ragge maxusers	8
     48    1.4     ragge 
     49    1.6     ragge # Kernel compiled-in symbolic debugger & system call tracer
     50  1.161      matt makeoptions	DEBUG="-g"
     51   1.67      matt options 	DDB
     52  1.175       chs options 	DDB_HISTORY_SIZE=512	# enable history editing in DDB
     53   1.25     lukem options 	KTRACE
     54   1.60      matt #options 	DIAGNOSTIC
     55  1.143       chs #options 	DEBUG
     56  1.143       chs #options 	PMAPDEBUG
     57  1.143       chs #options 	TRAPDEBUG
     58  1.143       chs #options 	LOCKDEBUG
     59   1.23    mjacob 
     60   1.60      matt options 	SCSIVERBOSE		# Verbose SCSI errors
     61   1.54    itojun 
     62   1.87       abs # Networking options
     63   1.87       abs #options 	GATEWAY		# packet forwarding
     64   1.91     lukem options 	NTP		# NTP kernel support
     65   1.87       abs options 	INET		# IP + ICMP + TCP + UDP
     66   1.54    itojun options 	INET6		# IPV6
     67   1.54    itojun #options 	IPSEC		# IP security
     68   1.54    itojun #options 	IPSEC_DEBUG	# debug for IP security
     69   1.87       abs #options 	MROUTING	# IP multicast routing
     70   1.87       abs #options 	NETATALK	# AppleTalk networking protocols
     71  1.105       abs options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
     72  1.105       abs options 	PPP_DEFLATE	# Deflate compression support for PPP
     73  1.105       abs options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
     74   1.87       abs #options 	IPFILTER_LOG	# ipmon(8) log support
     75  1.155  christos #options 	IPFILTER_LOOKUP	# ippool(8) support
     76  1.173       mrg options 	IPFILTER_COMPAT # Compat for IP-Filter
     77  1.103    martti #options 	IPFILTER_DEFAULT_BLOCK	# block all packets by default
     78    1.4     ragge 
     79  1.122       abs #options 	ALTQ		# Manipulate network interfaces' output queues
     80  1.122       abs #options 	ALTQ_BLUE	# Stochastic Fair Blue
     81  1.122       abs #options 	ALTQ_CBQ	# Class-Based Queueing
     82  1.122       abs #options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
     83  1.122       abs #options 	ALTQ_FIFOQ	# First-In First-Out Queue
     84  1.122       abs #options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
     85  1.122       abs #options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
     86  1.122       abs #options 	ALTQ_LOCALQ	# Local queueing discipline
     87  1.122       abs #options 	ALTQ_PRIQ	# Priority Queueing
     88  1.122       abs #options 	ALTQ_RED	# Random Early Detection
     89  1.122       abs #options 	ALTQ_RIO	# RED with IN/OUT
     90  1.122       abs #options 	ALTQ_WFQ	# Weighted Fair Queueing
     91  1.122       abs 
     92    1.4     ragge # All supported filesystem types
     93   1.21   thorpej file-system 	FFS
     94   1.21   thorpej file-system 	LFS
     95   1.21   thorpej file-system 	MFS
     96   1.21   thorpej file-system 	NFS
     97   1.21   thorpej file-system 	FDESC
     98   1.21   thorpej file-system 	KERNFS
     99   1.21   thorpej file-system 	NULLFS
    100   1.56  wrstuden file-system 	OVERLAY		# overlay file system
    101   1.21   thorpej file-system 	PROCFS
    102   1.21   thorpej file-system 	UMAPFS
    103   1.21   thorpej file-system 	UNION
    104   1.44     ragge file-system 	CD9660
    105  1.140  christos file-system	PTYFS		# /dev/pts/N support
    106  1.172       chs file-system	TMPFS		# Efficient memory file-system
    107  1.147   reinoud #file-system	UDF		# experimental - OSTA UDF CD/DVD file-system
    108   1.21   thorpej 
    109  1.176    bouyer options 	QUOTA		# legacy UFS quotas
    110  1.176    bouyer options 	QUOTA2		# new, in-filesystem UFS quotas
    111  1.177       wiz #options 	FFS_EI		# FFS Endian Independent support
    112  1.179  dholland options 	WAPBL		# File system journaling support
    113  1.128    rumble #options	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
    114   1.25     lukem options 	NFSSERVER
    115   1.45     ragge options 	NFS_BOOT_BOOTP,NFS_BOOT_DHCP	# Use bootp <> dhcp
    116   1.30     ragge options 	NFS_BOOT_BOOTPARAM	# Use the Sun way for netbooting.
    117  1.144   tsutsui #options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
    118  1.192      manu options 	UFS_EXTATTR	# Extended attribute support for UFS1
    119   1.33     ragge 
    120   1.42     ragge # WS console uses VT100 terminal emulation
    121   1.42     ragge options 	WSEMUL_VT100
    122   1.45     ragge options 	WSDISPLAY_DEFAULTSCREENS=8
    123  1.181       abs options 	WSDISPLAY_COMPAT_USL		# wsconscfg VT handling
    124   1.82     ragge options 	FONT_QVSS8x15
    125    1.8       jtc 
    126    1.8       jtc # System V shared memory & semaphores support.
    127   1.25     lukem options 	SYSVMSG
    128   1.25     lukem options 	SYSVSEM
    129   1.25     lukem options 	SYSVSHM
    130   1.19     ragge 
    131    1.9     ragge # Old compat stuff; needed to run 4.3BSD Reno programs.
    132    1.9     ragge # Note that if COMPAT_ULTRIX is set, you lose compatibility with
    133    1.9     ragge # 4.3BSD Reno programs and get Ultrix compatibility instead.
    134    1.9     ragge # (They cannot coexist).
    135   1.36     ragge options 	COMPAT_VAX1K	# Must be present to run pre-1.4 binaries.
    136   1.25     lukem options 	COMPAT_43
    137  1.191  dholland options 	COMPAT_09	# NetBSD 0.9,
    138  1.191  dholland options 	COMPAT_10	# NetBSD 1.0,
    139  1.191  dholland options 	COMPAT_11	# NetBSD 1.1,
    140  1.191  dholland options 	COMPAT_12	# NetBSD 1.2,
    141  1.191  dholland options 	COMPAT_13	# NetBSD 1.3,
    142  1.191  dholland options 	COMPAT_14	# NetBSD 1.4,
    143  1.191  dholland options 	COMPAT_15	# NetBSD 1.5,
    144  1.191  dholland options 	COMPAT_16	# NetBSD 1.6,
    145  1.191  dholland options 	COMPAT_20	# NetBSD 2.0,
    146  1.191  dholland options 	COMPAT_30	# NetBSD 3.0,
    147  1.191  dholland options 	COMPAT_40	# NetBSD 4.0,
    148  1.191  dholland options 	COMPAT_50	# NetBSD 5.0,
    149  1.191  dholland options 	COMPAT_60	# NetBSD 6.0, and
    150  1.191  dholland options 	COMPAT_70	# NetBSD 7.0 binary compatibility.
    151  1.161      matt options 	COMPAT_ULTRIX
    152   1.55      matt options 	COMPAT_IBCS2	# DEC SVR.3 compatilibity
    153   1.79      matt #options 	NO_INSN_EMULATE	# CPU does not lack some hardware instructions.
    154  1.126  christos options		COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.
    155    1.6     ragge 
    156   1.95  jdolecek 
    157  1.101     lukem options 	USERCONF	# userconf(4) support
    158   1.95  jdolecek #options	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
    159  1.124    atatat options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
    160  1.108  junyoung 
    161  1.109       wiz # Enable experimental buffer queue strategy for better responsiveness under 
    162  1.108  junyoung # high disk I/O load. Use it with caution - it's not proven to be stable yet.
    163  1.133   tsutsui #options 	BUFQ_READPRIO
    164  1.133   tsutsui #options 	BUFQ_PRIOCSCAN
    165    1.6     ragge 
    166    1.4     ragge # Kernel(s) to compile
    167   1.91     lukem config		netbsd root on ? type ?
    168    1.1     ragge 
    169   1.37      matt mainbus0	at root
    170   1.19     ragge 
    171  1.162      matt cpu*		at mainbus0
    172  1.162      matt 
    173   1.48     ragge # All buses; from the beginning attached to mainbus.
    174  1.174     ragge abus0		at mainbus0		# Master bus on VAX 86x0
    175  1.174     ragge sbi0		at mainbus0		# SBI, master bus on 11/78x.
    176   1.48     ragge cmi0		at mainbus0		# 11/750 internal bus.
    177   1.91     lukem bi0		at mainbus0		# VAX 8200
    178   1.48     ragge vsbus0		at mainbus0		# All VAXstations
    179  1.163      matt #nmi0		at mainbus0		# VAX 8800
    180  1.163      matt #xmi0		at mainbus0		# VAX 6000
    181  1.162      matt uba0		at mainbus0		# All MicroVAX
    182  1.162      matt ze0		at mainbus0		# KA48, KA49, KA53
    183  1.162      matt le0		at mainbus0		# LANCE ethernet (MV3400)
    184  1.162      matt #shac0		at mainbus0 		# DSSI controller
    185   1.48     ragge 
    186   1.75     ragge # NMI (internal bus) on VAX 88xx-series.
    187  1.163      matt #cpu*		at nmi0 slot?		# 1-4 KA88 CPUs
    188  1.163      matt #mem*		at nmi0 slot?
    189  1.163      matt #bi*		at nmi0 slot?		# BI bus adapters
    190   1.75     ragge 
    191   1.75     ragge # XMI on VAX 6000 (and higher)
    192  1.163      matt #cpu*		at xmi? node?		# 1-? VAX 6000 CPUs
    193  1.163      matt #mem*		at xmi? node?
    194  1.163      matt #bi*		at xmi? node?		# XMI-BI adapter
    195   1.75     ragge 
    196   1.48     ragge # Vsbus, the virtual VAXstation bus, and possible devices.
    197   1.50     ragge le0		at vsbus0 csr 0x200e0000 # LANCE ethernet
    198   1.48     ragge dz0		at vsbus0 csr 0x200a0000 # DC-367 DZ-11 lookalike ctlr
    199   1.86     ragge dz0		at vsbus0 csr 0x25000000 # VS4000/90 and 4000/10x serial line
    200   1.71      matt si0		at vsbus0 csr 0x200c0080 # VS2000/3100 SCSI-ctlr
    201   1.86     ragge si1		at vsbus0 csr 0x200c0180 # VS2000/3100 SCSI-ctlr
    202   1.64      matt asc0		at vsbus0 csr 0x200c0080 # VS4000/60 (or VLC) SCSI-ctlr
    203   1.86     ragge asc0		at vsbus0 csr 0x26000080 # VS4000/90 and 4000/10x SCSI-ctlr
    204   1.48     ragge smg0		at vsbus0 csr 0x200f0000 # Small monochrome display ctlr.
    205   1.48     ragge #clr0		at vsbus0 csr 0x30000000 # 4- or 8-bitplans color graphics
    206  1.167      hans spx0		at vsbus0 csr 0x38000000 # Low Cost SPX on VS4000/90.
    207  1.195     jklos lcg0		at vsbus0 csr 0x21801000 # VS4000/60 (or VLC) graphics
    208  1.194     jklos vsaudio0	at vsbus0 csr 0x200d0000 # VS4000/60 (or VLC) audio
    209  1.194     jklos vsaudio0	at vsbus0 csr 0x26800000 # VS4000/90 audio
    210  1.194     jklos audio*		at audiobus?
    211  1.161      matt tc0		at vsbus0 csr 0x36000000 # VS4000/60 or 90 TC adapter
    212  1.161      matt tcds*		at tc0 slot ? offset ?	 # TC dual SCSI controller
    213  1.161      matt asc*		at tcds? chip ?		 # PMAZB/C
    214  1.161      matt asc*		at tc? slot ? offset ?	 # PMAZ 
    215  1.161      matt fta*		at tc? slot ? offset ?	 # TC FDDI controller
    216   1.48     ragge 
    217   1.73     ragge hdc0		at vsbus0 csr 0x200c0000 # HDC9224 MFM/floppy ctlr
    218   1.73     ragge rd*		at hdc0 drive?		# RD5x disks
    219   1.48     ragge #ry*		at hdc0 drive?		# RX floppies
    220   1.48     ragge 
    221   1.16     ragge 
    222   1.16     ragge # Devices connected at VAXBI
    223  1.117       wiz cpu*		at bi? node?		# KA820/KA825 CPU
    224   1.48     ragge mem*		at bi? node?		# Memory subsystems
    225   1.48     ragge #uba*		at bi? node?		# DWBUA BI-Unibus adapter
    226   1.69      matt ni*		at bi? node?		# DEBNA/DEBNT ethernet adapter
    227   1.69      matt kdb*		at bi? node?		# KDB50 MSCP disk ctlr
    228   1.17     ragge 
    229   1.48     ragge # CMI (VAX 11/750)
    230   1.48     ragge mem*		at cmi? tr?		# Memory subsystems
    231   1.48     ragge uba*		at cmi? tr?		# Unibus adapters
    232   1.48     ragge mba*		at cmi? tr?		# Massbus adapters
    233   1.48     ragge 
    234  1.174     ragge # ABUS (VAX 86x0)
    235  1.174     ragge sbi*		at abus0		# VAX 86x0 can have up to 2 SBI's.
    236  1.174     ragge 
    237   1.48     ragge # SBI (VAX 11/780, VAX 8600)
    238   1.48     ragge mem*		at sbi? tr?		# Memory subsystems
    239   1.48     ragge uba*		at sbi? tr?		# Unibus adapters
    240   1.48     ragge mba*		at sbi? tr?		# Massbus adapters
    241    1.9     ragge 
    242    1.9     ragge # Devices on Massbus adapters
    243   1.48     ragge hp*		at mba? drive?		# RM/RP disk drives
    244    1.1     ragge 
    245   1.48     ragge # Devices on Unibus/Qbus adapters
    246   1.98     ragge uda*		at uba?	csr 0172150	# UDA50/RQDX?
    247   1.98     ragge uda*		at uba?	csr 0160334
    248   1.98     ragge mtc*		at uba? csr 0174500	# Tape MSCP ctlr
    249  1.162      matt ts0		at uba? csr 0172520	# TS11/TSV05 tape.
    250   1.48     ragge #qd0		at uba? csr 0177400	# 4- or 8-bitplans color graphics
    251   1.48     ragge #qv0		at uba? csr 0177400	# Monochrome graphics
    252   1.98     ragge de*		at uba? csr 0174510	# DELUA/DEUNA
    253   1.98     ragge qe*		at uba? csr 0174440	# DEQNA/DELQA
    254  1.142   hubertf qe*		at uba? csr 0174460	# DEQNA/DELQA
    255  1.114     ragge qt*		at uba? csr 0174440	# DELQA-PLUS in Turbo mode
    256   1.98     ragge dhu*		at uba? csr 0160440	# DHU-11
    257  1.100     ragge #dmf*		at uba? csr 0160340	# DMF-32
    258   1.98     ragge dz*		at uba? csr 0160100	# DZ-11
    259   1.98     ragge dl*		at uba? csr 0176500	# DL-11
    260   1.98     ragge rlc*		at uba? csr 0174400	# RL11/RLV11 controller
    261   1.63     ragge rl*		at rlc? drive?		# RL01/RL02 disk drive
    262  1.112     ragge rfc0		at uba? csr 0177170	# RX01/02 controller
    263  1.112     ragge rf*		at rfc? drive?		# RX01/RX02 floppy disk drive
    264   1.48     ragge 
    265   1.48     ragge # MSCP devices
    266   1.14     ragge mscpbus*	at uda?
    267   1.15     ragge mscpbus*	at mtc?
    268   1.69      matt mscpbus*	at kdb?
    269   1.14     ragge 
    270  1.182       abs ra*		at mscpbus? drive?	# MSCP disk 
    271  1.182       abs racd*		at mscpbus? drive?	# MSCP CD-ROM (RRD40)
    272   1.28     ragge rx*		at mscpbus? drive?	# MSCP floppy
    273   1.15     ragge mt*		at mscpbus? drive?	# MSCP tape
    274   1.16     ragge 
    275   1.48     ragge # SCSI devices
    276  1.161      matt scsibus*	at scsi?
    277   1.44     ragge 
    278   1.44     ragge sd*		at scsibus? target? lun?
    279   1.44     ragge st*		at scsibus? target? lun?
    280   1.44     ragge cd*		at scsibus? target? lun?
    281   1.44     ragge ch*		at scsibus? target? lun?
    282   1.44     ragge ss*		at scsibus? target? lun?
    283   1.44     ragge uk*		at scsibus? target? lun?
    284   1.16     ragge 
    285   1.32     ragge # VAXstation graphics support
    286  1.167      hans wsdisplay*	at smg0
    287  1.167      hans wsdisplay*	at spx0
    288  1.195     jklos wsdisplay*	at lcg0
    289  1.167      hans #wsdisplay*	at clr0
    290  1.167      hans #wsdisplay*	at qd0
    291  1.167      hans #wsdisplay*	at qv0
    292   1.82     ragge lkkbd0		at dz0 line 0
    293   1.82     ragge wskbd*		at lkkbd? console ?
    294   1.82     ragge lkms0		at dz0 line 1
    295   1.82     ragge wsmouse*	at lkms?
    296   1.32     ragge 
    297  1.166       tls #
    298  1.166       tls # accept filters
    299  1.166       tls pseudo-device   accf_data		# "dataready" accept filter
    300  1.166       tls pseudo-device   accf_http		# "httpready" accept filter
    301  1.166       tls 
    302  1.186  christos pseudo-device	loop	
    303   1.91     lukem pseudo-device	pty			# pseudo-terminals
    304  1.149    rpaulo pseudo-device	bpfilter
    305  1.152  liamjfoy #pseudo-device	carp			# Common Address Redundancy Protocol
    306   1.87       abs pseudo-device	ipfilter		# IP filter (firewall) and NAT
    307  1.174     ragge #pseudo-device	sl
    308  1.174     ragge pseudo-device	ppp
    309   1.93    martin #pseudo-device	pppoe			# PPP over Ethernet (RFC 2516)
    310  1.174     ragge pseudo-device	tun
    311  1.127      cube pseudo-device	tap			# virtual Ethernet
    312  1.150      cube #pseudo-device	gre			# generic L3 over IP tunnel
    313  1.150      cube pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
    314  1.150      cube #pseudo-device	faith			# IPv[46] tcp relay translation i/f
    315  1.151     pavel pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
    316   1.83    bouyer pseudo-device	vlan			# IEEE 802.1q encapsulation
    317   1.90    atatat pseudo-device	bridge			# simple inter-network bridging
    318  1.111  perseant #options	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
    319  1.157    martin pseudo-device	agr			# IEEE 802.3ad link aggregation
    320  1.174     ragge pseudo-device	vnd
    321  1.136   hubertf #options 	VND_COMPRESSION		# compressed vnd(4)
    322  1.186  christos pseudo-device	ccd	
    323  1.186  christos #pseudo-device	cgd			# cryptographic disk devices
    324  1.187  christos pseudo-device	raid			# RAIDframe disk driver
    325   1.94     oster options 	RAID_AUTOCONFIG		# auto-configuration of RAID components
    326   1.94     oster # Options to enable various other RAIDframe RAID types.
    327   1.94     oster # options	RF_INCLUDE_EVENODD=1
    328   1.94     oster # options	RF_INCLUDE_RAID5_RS=1
    329   1.94     oster # options	RF_INCLUDE_PARITYLOGGING=1
    330   1.94     oster # options	RF_INCLUDE_CHAINDECLUSTER=1
    331   1.94     oster # options	RF_INCLUDE_INTERDECLUSTER=1
    332   1.94     oster # options 	RF_INCLUDE_PARITY_DECLUSTERING=1
    333   1.94     oster # options	RF_INCLUDE_PARITY_DECLUSTERING_DS=1
    334  1.171     pooka pseudo-device	fss			# file system snapshot device
    335   1.88     ragge #pseudo-device	leds			# control the leds on vaxstations.
    336   1.99     lukem pseudo-device	clockctl		# user control of clock subsystem
    337  1.113     ragge pseudo-device	ksyms			# /dev/ksyms
    338  1.118    mhitch pseudo-device	wsmux			# mouse & keyboard multiplexor
    339  1.121    itojun #pseudo-device	pf			# PF packet filter
    340  1.121    itojun #pseudo-device	pflog			# PF log if
    341  1.145      elad 
    342  1.145      elad # Veriexec
    343  1.145      elad #
    344  1.145      elad # a pseudo device needed for veriexec
    345  1.187  christos #pseudo-device	veriexec
    346  1.145      elad #
    347  1.145      elad # Uncomment the fingerprint methods below that are desired. Note that
    348  1.145      elad # removing fingerprint methods will have almost no impact on the kernel
    349  1.145      elad # code size.
    350  1.145      elad #
    351  1.145      elad #options VERIFIED_EXEC_FP_RMD160
    352  1.145      elad #options VERIFIED_EXEC_FP_SHA256
    353  1.145      elad #options VERIFIED_EXEC_FP_SHA384
    354  1.145      elad #options VERIFIED_EXEC_FP_SHA512
    355  1.145      elad #options VERIFIED_EXEC_FP_SHA1
    356  1.145      elad #options VERIFIED_EXEC_FP_MD5
    357