GENERIC32_IP3x revision 1.123
11.123Ssevan# $NetBSD: GENERIC32_IP3x,v 1.123 2019/03/23 17:38:29 sevan Exp $ 21.1Ssekiya# 31.3Spooka# GENERIC32_IP3x machine description file 41.1Ssekiya# 51.1Ssekiya# This machine description file is used to generate the default NetBSD 61.1Ssekiya# kernel. The generic kernel does not include all options, subsystems 71.1Ssekiya# and device drivers, but should be useful for most applications. 81.1Ssekiya# 91.1Ssekiya# The machine description file can be customised for your specific 101.1Ssekiya# machine to reduce the kernel size and improve its performance. 111.1Ssekiya# 121.1Ssekiya# For further information on compiling NetBSD kernels, see the config(8) 131.1Ssekiya# man page. 141.1Ssekiya# 151.1Ssekiya# For further information on hardware support for this architecture, see 161.1Ssekiya# the intro(4) man page. For further information about kernel options 171.1Ssekiya# for this architecture, see the options(4) man page. For an explanation 181.1Ssekiya# of each device driver in this file see the section 4 man page for the 191.1Ssekiya# device. 201.1Ssekiya# 211.1Ssekiya# 221.3Spooka# Currently this config file supports O2 (IP32). 231.3Spooka# 241.1Ssekiya 251.4Spookainclude "arch/sgimips/conf/std.sgimips" 261.4Spooka 271.4Spookamakeoptions TEXTADDR="0x80069000" # entry point 281.1Ssekiya 291.1Ssekiyaoptions INCLUDE_CONFIG_FILE # embed config file in kernel binary 301.1Ssekiya 311.123Ssevan#ident "GENERIC32_IP3x-$Revision: 1.123 $" 321.1Ssekiya 331.1Ssekiyamaxusers 32 341.1Ssekiya 351.1Ssekiya# CPU related options 361.1Ssekiyaoptions MIPS3 # MIPS3 support 371.72Stsutsuioptions ENABLE_MIPS4_CACHE_R10K # enable R10000 cache ops 381.72Stsutsui#options BLINK # blinkenlitzen 391.82Smattmakeoptions CPUFLAGS="-march=mips3 -mtune=vr5000" 401.1Ssekiya 411.1Ssekiya# Standard system options 421.1Ssekiya#options INSECURE # disable kernel security levels 431.1Ssekiya 441.1Ssekiya#options NTP # NTP phase/frequence locked loop 451.1Ssekiyaoptions KTRACE # system call tracing via ktrace(1) 461.1Ssekiya 471.1Ssekiyaoptions SYSVMSG # System V message queues 481.1Ssekiyaoptions SYSVSEM # System V semaphores 491.1Ssekiyaoptions SYSVSHM # System V shared memory 501.1Ssekiya 511.1Ssekiyaoptions USERCONF # userconf(4) support 521.1Ssekiya#options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 531.13Satatatoptions SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel 541.1Ssekiya 551.115Ssevan# Alternate buffer queue strategies for better responsiveness under high 561.115Ssevan# disk I/O load. 571.25Stsutsui#options BUFQ_READPRIO 581.116Sjmcneilloptions BUFQ_PRIOCSCAN 591.1Ssekiya 601.1Ssekiya# Diagnostic/debugging support options 611.1Ssekiya#options DIAGNOSTIC # expensive kernel consistency checks 621.1Ssekiya#options DEBUG # expensive debugging checks/support 631.1Ssekiyaoptions DDB # in-kernel debugger 641.1Ssekiyaoptions DDB_HISTORY_SIZE=512 # enable history editing in DDB 651.1Ssekiya#options KGDB # remote debugger 661.1Ssekiya#options KGDB_DEV=0x2301 # KGDB port - this is Serial(1) 671.1Ssekiya#options KGDB_DEVRATE=19200 # KGDB Baud Rate 681.1Ssekiya#makeoptions DEBUG="-g" # compile full symbol table 691.1Ssekiya 701.1Ssekiya# Compatibility options 711.114Smrginclude "conf/compat_netbsd15.config" 721.1Ssekiya 731.85Schsoptions COMPAT_LINUX # binary compatibility with Linux 741.72Stsutsui#options COMPAT_ULTRIX # binary compatibility with Ultrix 751.1Ssekiya 761.1Ssekiya# File systems 771.1Ssekiyafile-system FFS # UFS 781.1Ssekiyafile-system EXT2FS # second extended file system (linux) 791.1Ssekiyafile-system LFS # log-structured file system 801.1Ssekiyafile-system MFS # memory file system 811.1Ssekiyafile-system NFS # Network File System client 821.1Ssekiyafile-system NTFS # Windows/NT file system (experimental) 831.1Ssekiyafile-system CD9660 # ISO 9660 + Rock Ridge file system 841.1Ssekiyafile-system MSDOSFS # MS-DOS file system 851.1Ssekiyafile-system FDESC # /dev/fd 861.1Ssekiyafile-system KERNFS # /kern 871.1Ssekiyafile-system NULLFS # loopback file system 881.1Ssekiyafile-system OVERLAY # overlay file system 891.81Spookafile-system PUFFS # Userspace file systems (e.g. ntfs-3g & sshfs) 901.1Ssekiyafile-system PROCFS # /proc 911.1Ssekiyafile-system UMAPFS # NULLFS + uid and gid remapping 921.1Ssekiyafile-system UNION # union file system 931.1Ssekiyafile-system CODA # Coda File System; also needs vcoda (below) 941.34Schristosfile-system PTYFS # /dev/pts/N support 951.71Stnnfile-system TMPFS # Efficient memory file-system 961.45Stsutsui#file-system UDF # experimental - OSTA UDF CD/DVD file-system 971.64Srumblefile-system EFS # Silicon Graphics Extent File System 981.1Ssekiya 991.1Ssekiya# File system options 1001.88Sbouyeroptions QUOTA # legacy UFS quotas 1011.88Sbouyeroptions QUOTA2 # new, in-filesystem UFS quotas 1021.1Ssekiya#options FFS_EI # FFS Endian Independent support 1031.91Sdhollandoptions WAPBL # File system journaling support 1041.72Stsutsui#options UFS_DIRHASH # UFS Large Directory Hashing - Experimental 1051.1Ssekiyaoptions NFSSERVER # Network File System server 1061.42Stsutsui#options FFS_NO_SNAPSHOT # No FFS snapshot support 1071.105Smanuoptions UFS_EXTATTR # Extended attribute support for UFS1 1081.1Ssekiya#options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 1091.1Ssekiya # immutable) behave as system flags. 1101.1Ssekiya 1111.1Ssekiya# Networking options 1121.1Ssekiya#options GATEWAY # packet forwarding 1131.1Ssekiyaoptions INET # IP + ICMP + TCP + UDP 1141.1Ssekiyaoptions INET6 # IPV6 1151.1Ssekiya#options IPSEC # IP security 1161.1Ssekiya#options IPSEC_DEBUG # debug for IP security 1171.1Ssekiya#options MROUTING # IP multicast routing 1181.14Smanu#options PIM # Protocol Independent Multicast 1191.1Ssekiyaoptions NETATALK # AppleTalk networking protocols 1201.1Ssekiyaoptions PPP_BSDCOMP # BSD-Compress compression support for PPP 1211.1Ssekiyaoptions PPP_DEFLATE # Deflate compression support for PPP 1221.1Ssekiyaoptions PPP_FILTER # Active filter support for PPP (requires bpf) 1231.1Ssekiya#options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 1241.1Ssekiya 1251.9Sabs#options ALTQ # Manipulate network interfaces' output queues 1261.9Sabs#options ALTQ_BLUE # Stochastic Fair Blue 1271.9Sabs#options ALTQ_CBQ # Class-Based Queueing 1281.9Sabs#options ALTQ_CDNR # Diffserv Traffic Conditioner 1291.9Sabs#options ALTQ_FIFOQ # First-In First-Out Queue 1301.9Sabs#options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box) 1311.9Sabs#options ALTQ_HFSC # Hierarchical Fair Service Curve 1321.9Sabs#options ALTQ_LOCALQ # Local queueing discipline 1331.9Sabs#options ALTQ_PRIQ # Priority Queueing 1341.9Sabs#options ALTQ_RED # Random Early Detection 1351.9Sabs#options ALTQ_RIO # RED with IN/OUT 1361.9Sabs#options ALTQ_WFQ # Weighted Fair Queueing 1371.9Sabs 1381.102Salnsn# JIT compiler for bpfilter 1391.102Salnsn#options SLJIT 1401.102Salnsn#options BPFJIT 1411.102Salnsn 1421.1Ssekiya# These options enable verbose messages for several subsystems. 1431.1Ssekiya# Warning, these may compile large string tables into the kernel! 1441.1Ssekiyaoptions MIIVERBOSE # verbose PHY autoconfig messages 1451.1Ssekiyaoptions PCIVERBOSE # verbose PCI device autoconfig messages 1461.1Ssekiya#options PCI_CONFIG_DUMP # verbosely dump PCI config space 1471.1Ssekiyaoptions SCSIVERBOSE # human readable SCSI error messages 1481.1Ssekiya 1491.1Ssekiyaoptions NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM 1501.1Ssekiya 1511.1Ssekiya#options MEMORY_DISK_HOOKS 1521.1Ssekiya#options MEMORY_DISK_IS_ROOT 1531.1Ssekiya#options MEMORY_DISK_SERVER=0 1541.1Ssekiya#options MINIROOTSIZE=8192 1551.1Ssekiya 1561.1Ssekiya#options SCSI_DELAY=5 1571.1Ssekiya 1581.1Ssekiya# Kernel root file system and dump configuration. 1591.1Ssekiyaconfig netbsd root on ? type ? 1601.1Ssekiya 1611.1Ssekiya# Main bus and CPU 1621.1Ssekiyamainbus0 at root 1631.1Ssekiyacpu0 at mainbus? 1641.1Ssekiya 1651.1Ssekiya# O2 busses 1661.1Ssekiyacrime0 at mainbus0 addr 0x14000000 1671.61Sjmcneillcrmfb0 at mainbus0 addr 0x16000000 1681.61Sjmcneillwsdisplay* at crmfb? console ? 1691.1Ssekiyamace0 at mainbus0 addr 0x1f000000 1701.74Stsutsui#options MACE_NEEDS_DELAYS 1711.1Ssekiyamacepci0 at mace0 offset 0x080000 intr 7 1721.1Ssekiyapci0 at macepci0 bus 0 1731.50Stsutsuipci* at ppb? bus ? 1741.50Stsutsuioptions PCI_NETBSD_CONFIGURE 1751.1Ssekiya 1761.61Sjmcneilloptions WSEMUL_VT100 1771.93Sabsoptions WSDISPLAY_COMPAT_USL # wsconscfg VT handling 1781.61Sjmcneilloptions WS_KERNEL_FG=WSCOL_GREEN 1791.61Sjmcneilloptions WS_KERNEL_BG=WSCOL_BLACK 1801.61Sjmcneilloptions WS_DEFAULT_BG=WSCOL_BLACK 1811.61Sjmcneill 1821.1Ssekiya# MACE devices 1831.11Stsutsuimec0 at mace0 offset 0x280000 intr 3 1841.62Sjmcneillmavb0 at mace0 offset 0x300000 intr 6 1851.61Sjmcneillmacekbc0 at mace0 offset 0x320000 intr 5 1861.12Stsutsuilpt0 at mace0 offset 0x380000 intr 4 intrmask 0x000f0000 1871.1Ssekiyacom0 at mace0 offset 0x390000 intr 4 intrmask 0x03f00000 1881.1Ssekiyacom1 at mace0 offset 0x398000 intr 4 intrmask 0xfc000000 1891.1Ssekiyamcclock0 at mace0 offset 0x3a0000 1901.1Ssekiya 1911.50Stsutsui# PCI bridges 1921.50Stsutsuippb* at pci? dev ? function ? # PCI-PCI bridges 1931.50Stsutsui 1941.3Spooka# PCI cryptographic devices 1951.3Spookahifn* at pci? dev ? function ? # Hifn 7755/7811/795x 1961.3Spookaubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x 1971.3Spooka 1981.1Ssekiya# PCI network devices 1991.1Ssekiya#an* at pci? dev ? function ? # Aironet PC4500/PC4800 (802.11) 2001.1Ssekiya#bge* at pci? dev ? function ? # Broadcom 570x gigabit Ethernet 2011.1Ssekiyaep* at pci? dev ? function ? # 3Com 3c59x 2021.1Ssekiyaepic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 2031.1Ssekiyaesh* at pci? dev ? function ? # Essential HIPPI card 2041.1Ssekiyaex* at pci? dev ? function ? # 3Com 90x[BC] 2051.1Ssekiyafpa* at pci? dev ? function ? # DEC DEFPA FDDI 2061.1Ssekiyafxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 2071.51Spavelgsip* at pci? dev ? function ? # NS83820 Gigabit Ethernet 2081.1Ssekiya#hme* at pci? dev ? function ? # Sun Microelectronics STP2002-STQ 2091.1Ssekiyale* at pci? dev ? function ? # PCnet-PCI Ethernet 2101.1Ssekiyamtd* at pci? dev ? function ? # Myson MTD803 3-in-1 Ethernet 2111.1Ssekiyane* at pci? dev ? function ? # NE2000-compatible Ethernet 2121.1Ssekiyantwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial 2131.1Ssekiyapcn* at pci? dev ? function ? # AMD PCnet-PCI Ethernet 2141.57Stsutsuire* at pci? dev ? function ? # Realtek 8139C+/8169/8169S/8110S 2151.1Ssekiyartk* at pci? dev ? function ? # Realtek 8129/8139 2161.1Ssekiyasf* at pci? dev ? function ? # Adaptec AIC-6915 Ethernet 2171.1Ssekiyasip* at pci? dev ? function ? # SiS 900/DP83815 Ethernet 2181.1Ssekiya#skc* at pci? dev ? function ? # SysKonnect SK9821 Gigabit Ethernet 2191.1Ssekiya#sk* at skc? # SysKonnect SK9821 Gigabit Ethernet 2201.1Ssekiyaste* at pci? dev ? function ? # Sundance ST-201 Ethernet 2211.1Ssekiya#stge* at pci? dev ? function ? # Sundance/Tamarack TC9021 Gigabit 2221.1Ssekiyati* at pci? dev ? function ? # Alteon ACEnic gigabit Ethernet 2231.1Ssekiyatl* at pci? dev ? function ? # ThunderLAN-based Ethernet 2241.1Ssekiyatlp* at pci? dev ? function ? # DECchip 21x4x and clones 2251.1Ssekiyavr* at pci? dev ? function ? # VIA Rhine Fast Ethernet 2261.1Ssekiyawi* at pci? dev ? function ? # Intersil Prism Mini-PCI (802.11b) 2271.1Ssekiyawm* at pci? dev ? function ? # Intel 82543/82544 gigabit 2281.1Ssekiya 2291.1Ssekiya# MII/PHY support 2301.1Ssekiyaacphy* at mii? phy ? # Altima AC101 and AMD Am79c874 PHYs 2311.1Ssekiyaamhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs 2321.1Ssekiyabmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs 2331.1Ssekiyabrgphy* at mii? phy ? # Broadcom BCM5400-family PHYs 2341.1Ssekiyadmphy* at mii? phy ? # Davicom DM9101 PHYs 2351.1Ssekiyaexphy* at mii? phy ? # 3Com internal PHYs 2361.1Ssekiyagentbi* at mii? phy ? # Generic Ten-Bit 1000BASE-[CLS]X PHYs 2371.1Ssekiyaglxtphy* at mii? phy ? # Level One LXT-1000 PHYs 2381.1Ssekiyagphyter* at mii? phy ? # NS83861 Gig-E PHY 2391.1Ssekiyaicsphy* at mii? phy ? # Integrated Circuit Systems ICS189x 2401.58Sbouyerikphy* at mii? phy ? # Intel 82563 PHYs 2411.1Ssekiyainphy* at mii? phy ? # Intel 82555 PHYs 2421.1Ssekiyaiophy* at mii? phy ? # Intel 82553 PHYs 2431.1Ssekiyalxtphy* at mii? phy ? # Level One LXT-970 PHYs 2441.1Ssekiyamakphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs 2451.1Ssekiyansphy* at mii? phy ? # NS83840 PHYs 2461.1Ssekiyansphyter* at mii? phy ? # NS83843 PHYs 2471.1Ssekiyapnaphy* at mii? phy ? # generic HomePNA PHYs 2481.1Ssekiyaqsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 2491.122Srinrgephy* at mii? phy ? # Realtek 8169S/8110S/8211 PHYs 2501.122Srinrlphy* at mii? phy ? # Realtek 8139/8201L PHYs 2511.1Ssekiyasqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 2521.1Ssekiyatlphy* at mii? phy ? # ThunderLAN PHYs 2531.1Ssekiyatqphy* at mii? phy ? # TDK Semiconductor PHYs 2541.1Ssekiyaukphy* at mii? phy ? # generic unknown PHYs 2551.1Ssekiyaurlphy* at mii? phy ? # Realtek RTL8150L internal PHYs 2561.1Ssekiya 2571.1Ssekiya# O2 SCSI 2581.49Stsutsuiadv* at pci? dev ? function ? 2591.1Ssekiyaahc* at pci? dev ? function ? 2601.35Stsutsuiesiop* at pci? dev ? function ? 2611.38Stsutsuinjs* at pci? dev ? function ? 2621.37Stsutsuipcscp* at pci? dev ? function ? 2631.1Ssekiyascsibus* at scsi? 2641.1Ssekiya 2651.1Ssekiyasd* at scsibus? target ? lun ? # SCSI disks 2661.1Ssekiyast* at scsibus? target ? lun ? # SCSI tapes 2671.1Ssekiyacd* at scsibus? target ? lun ? # SCSI CD-ROMs 2681.1Ssekiyach* at scsibus? target ? lun ? # SCSI changer devices 2691.1Ssekiyass* at scsibus? target ? lun ? # SCSI scanners 2701.1Ssekiyases* at scsibus? target ? lun ? # SCSI SES/SAF-TE devices 2711.1Ssekiyauk* at scsibus? target ? lun ? # unknown SCSI 2721.1Ssekiya 2731.61Sjmcneillpckbd* at macekbc? 2741.61Sjmcneillpms* at macekbc? 2751.1Ssekiyawskbd* at pckbd? console ? 2761.1Ssekiyawsmouse* at pms? mux 0 2771.1Ssekiya#wsdisplay* at foofb? console ? 2781.1Ssekiya 2791.1Ssekiya# USB Controller and Devices 2801.1Ssekiya 2811.1Ssekiya# PCI USB controllers 2821.1Ssekiyaehci* at pci? dev ? function ? # Enhanced Host Controller 2831.1Ssekiyaohci* at pci? dev ? function ? # Open Host Controller 2841.1Ssekiyauhci* at pci? dev ? function ? # Universal Host Controller (Intel) 2851.1Ssekiya 2861.1Ssekiya# USB bus support 2871.1Ssekiyausb* at ehci? 2881.1Ssekiyausb* at ohci? 2891.1Ssekiyausb* at uhci? 2901.1Ssekiya 2911.123Ssevaninclude "dev/usb/usbdevices.config" 2921.1Ssekiya 2931.28Skiyohara# PCI IEEE1394 controllers 2941.70Ssekiyafwohci* at pci? dev ? function ? # IEEE1394 Open Host Controller 2951.28Skiyohara 2961.70Ssekiyaieee1394if* at fwohci? 2971.70Ssekiyafwip* at ieee1394if? # IP over IEEE1394 2981.70Ssekiyasbp* at ieee1394if? euihi ? euilo ? 2991.28Skiyohara 3001.1Ssekiya# Audio support 3011.1Ssekiyaaudio* at audiobus? 3021.1Ssekiya 3031.111Schristosspkr* at audio? # PC speaker (synthesized) 3041.109Snat 3051.1Ssekiya# MIDI support 3061.1Ssekiyamidi* at midibus? 3071.1Ssekiya 3081.1Ssekiya# Pseudo-Devices 3091.1Ssekiya 3101.40Sthorpejpseudo-device crypto # /dev/crypto device 3111.41Sthorpejpseudo-device swcrypto # software crypto implementation 3121.3Spooka 3131.1Ssekiya# disk/mass storage pseudo-devices 3141.97Schristospseudo-device ccd # concatenated/striped disk devices 3151.97Schristos#pseudo-device cgd # cryptographic disk devices 3161.98Schristos#pseudo-device raid # RAIDframe disk driver 3171.1Ssekiya#options RAID_AUTOCONFIG # auto-configuration of RAID components 3181.84Spookapseudo-device fss # file system snapshot device 3191.86Shannkenpseudo-device md # memory disk device (ramdisk) 3201.47Scubepseudo-device vnd # disk-like interface to files 3211.29Shubertf#options VND_COMPRESSION # compressed vnd(4) 3221.1Ssekiya 3231.1Ssekiya# network pseudo-devices 3241.46Srpaulopseudo-device bpfilter # Berkeley packet filter 3251.52Stsutsui#pseudo-device carp # Common Address Redundancy Protocol 3261.117Smaxvpseudo-device npf # NPF packet filter 3271.1Ssekiyapseudo-device loop # network loopback 3281.47Scubepseudo-device ppp # Point-to-Point Protocol 3291.47Scubepseudo-device sl # Serial Line IP 3301.47Scubepseudo-device strip # Starmode Radio IP (Metricom) 3311.47Scubepseudo-device tun # network tunneling over tty 3321.19Scubepseudo-device tap # virtual Ethernet 3331.47Scubepseudo-device gre # generic L3 over IP tunnel 3341.47Scubepseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933) 3351.47Scube#pseudo-device faith # IPv[46] tcp relay translation i/f 3361.48Spavelpseudo-device stf # 6to4 IPv6 over IPv4 encapsulation 3371.1Ssekiyapseudo-device vlan # IEEE 802.1q encapsulation 3381.1Ssekiyapseudo-device bridge # simple inter-network bridging 3391.72Stsutsui#options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too 3401.63Smartinpseudo-device agr # IEEE 802.3ad link aggregation 3411.75Stsutsuipseudo-device accf_data # "dataready" accept filter 3421.75Stsutsuipseudo-device accf_http # "httpready" accept filter 3431.1Ssekiya 3441.1Ssekiya# miscellaneous pseudo-devices 3451.1Ssekiyapseudo-device pty # pseudo-terminals 3461.99Schristospseudo-device sequencer # MIDI sequencer 3471.1Ssekiyapseudo-device clockctl # user control of clock subsystem 3481.1Ssekiyapseudo-device ksyms # /dev/ksyms 3491.81Spookapseudo-device putter # for puffs and pud 3501.61Sjmcneill 3511.61Sjmcneill# wscons pseudo-devices 3521.61Sjmcneillpseudo-device wsmux # mouse & keyboard multiplexor 3531.61Sjmcneillpseudo-device wsfont 3541.1Ssekiya 3551.79Sjmcneill# userland interface to drivers, including autoconf and properties retrieval 3561.79Sjmcneillpseudo-device drvctl 3571.79Sjmcneill 3581.1Ssekiya# a pseudo device needed for Coda # also needs CODA (above) 3591.98Schristospseudo-device vcoda # coda minicache <-> venus comm. 3601.1Ssekiya 3611.43Stsutsui# Veriexec 3621.43Stsutsui# 3631.43Stsutsui# a pseudo device needed for veriexec 3641.98Schristos#pseudo-device veriexec 3651.43Stsutsui# 3661.43Stsutsui# Uncomment the fingerprint methods below that are desired. Note that 3671.43Stsutsui# removing fingerprint methods will have almost no impact on the kernel 3681.43Stsutsui# code size. 3691.43Stsutsui# 3701.43Stsutsui#options VERIFIED_EXEC_FP_SHA256 3711.43Stsutsui#options VERIFIED_EXEC_FP_SHA384 3721.43Stsutsui#options VERIFIED_EXEC_FP_SHA512 373