GENERIC revision 1.187
1# $NetBSD: GENERIC,v 1.187 2017/09/13 22:24:42 sevan 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 21include "arch/arc/conf/std.arc" 22 23options INCLUDE_CONFIG_FILE # embed config file in kernel binary 24 25#ident "GENERIC-$Revision: 1.187 $" 26 27maxusers 32 # estimated number of users 28 29# Platform support 30options PLATFORM_ACER_PICA_61 # PICA, NEC ImageRISCstation 31options PLATFORM_DESKTECH_ARCSTATION_I # DeskStation rPC44 32options PLATFORM_DESKTECH_TYNE # DeskStation Tyne 33options PLATFORM_MICROSOFT_JAZZ # MIPS Magnum 34options PLATFORM_NEC_J96A # NEC Express 5800/240 EISA R4K 35options PLATFORM_NEC_JC94 # NEC Express 5800/230 PCI R4K 36options PLATFORM_NEC_R94 # NEC RISCstation 2200 EISA 37options PLATFORM_NEC_R96 # NEC Express RISCserver, RISCserver 2200 38options PLATFORM_NEC_RAX94 # NEC RISCstation 2200 PCI 39options PLATFORM_NEC_RD94 # NEC RISCstation 2250 40options PLATFORM_SNI_RM200PCI 41 42# CPU related options 43makeoptions CPUFLAGS="-march=mips3 -mabi=32" 44 45# Standard system options 46 47options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 48options NTP # NTP phase/frequency locked loop 49 50options KTRACE # system call tracing via ktrace(1) 51 52options SYSVMSG # System V-like message queues 53options SYSVSEM # System V-like semaphores 54options SYSVSHM # System V-like memory sharing 55 56options USERCONF # userconf(4) support 57#options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 58options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel 59 60# Enable experimental buffer queue strategy for better responsiveness under 61# high disk I/O load. Use it with caution - it's not proven to be stable yet. 62#options BUFQ_READPRIO 63#options BUFQ_PRIOCSCAN 64 65# Diagnostic/debugging support options 66#options DIAGNOSTIC # cheap kernel consistency checks 67#options DEBUG # expensive debugging checks/support 68options DDB # in-kernel debugger 69#options DDB_HISTORY_SIZE=100 # enable history editing in DDB 70#options KGDB # remote gdb 71#options KGDB_DEVRATE=19200 # kernel gdb port rate (default 9600) 72#options KGDB_DEV="17*256+0" # device for kernel gdb 73#makeoptions DEBUG="-g" # compile full symbol table 74 75# Compatibility options 76options COMPAT_10 # NetBSD 1.0, 77options COMPAT_11 # NetBSD 1.1, 78options COMPAT_12 # NetBSD 1.2, 79options COMPAT_13 # NetBSD 1.3, 80options COMPAT_14 # NetBSD 1.4, 81options COMPAT_15 # NetBSD 1.5, 82options COMPAT_16 # NetBSD 1.6, 83options COMPAT_20 # NetBSD 2.0, 84options COMPAT_30 # NetBSD 3.0, 85options COMPAT_40 # NetBSD 4.0, 86options COMPAT_50 # NetBSD 5.0, 87options COMPAT_60 # NetBSD 6.0, and 88options COMPAT_70 # NetBSD 7.0 binary compatibility. 89options COMPAT_43 # and 4.3BSD 90options COMPAT_386BSD_MBRPART # recognize old partition ID 91options COMPAT_BSDPTY # /dev/[pt]ty?? ptys. 92 93# mipsel specific 94options COMPAT_ULTRIX # Ultrix binary compatibility 95options EXEC_ECOFF # Ultrix RISC binaries are ECOFF format 96 97# File systems 98file-system FFS # fast filesystem 99file-system EXT2FS # second extended file system (linux) 100file-system LFS # log-structured file system 101file-system MFS # memory file system 102file-system NTFS # Windows/NT file system (experimental) 103file-system CD9660 # ISO 9660 + Rock Ridge file system 104file-system MSDOSFS # MS-DOS file system 105file-system NFS # Network File System client 106file-system FDESC # /dev/fd 107file-system KERNFS # /kern 108file-system NULLFS # loopback file system 109file-system OVERLAY # overlay file system 110file-system PUFFS # Userspace file systems (e.g. ntfs-3g & sshfs) 111file-system PROCFS # /proc 112file-system UMAPFS # NULLFS + uid and gid remapping 113file-system UNION # union file system 114#file-system CODA # Coda File System; also needs vcoda (below) 115file-system PTYFS # /dev/pts/N support 116file-system TMPFS # Efficient memory file-system 117#file-system UDF # experimental - OSTA UDF CD/DVD file-system 118 119# File system options 120options QUOTA # legacy UFS quotas 121options QUOTA2 # new, in-filesystem UFS quotas 122#options FFS_EI # FFS Endian Independent support 123options WAPBL # File system journaling support 124#options UFS_DIRHASH # UFS Large Directory Hashing - Experimental 125options NFSSERVER # Network File System server 126#options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 127 # immutable) behave as system flags. 128#options FFS_NO_SNAPSHOT # No FFS snapshot support 129options UFS_EXTATTR # Extended attribute support for UFS1 130 131# Networking options 132#options GATEWAY # IP packet forwarding 133options INET # IP + ICMP + TCP + UDP 134options INET6 # IPV6 135#options IPSEC # IP security 136#options IPSEC_DEBUG # debug for IP security 137#options MROUTING # IP multicast routing 138#options PIM # Protocol Independent Multicast 139options NETATALK # AppleTalk networking protocols 140options PPP_BSDCOMP # BSD-Compress compression support for PPP 141options PPP_DEFLATE # Deflate compression support for PPP 142options PPP_FILTER # Active filter support for PPP (requires bpf) 143options IPFILTER_LOG # ipmon(8) log support 144options IPFILTER_LOOKUP # ippool(8) support 145options IPFILTER_COMPAT # Compat for IP-Filter 146#options IPFILTER_DEFAULT_BLOCK # block all packets by default 147#options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 148 149#options ALTQ # Manipulate network interfaces' output queues 150#options ALTQ_BLUE # Stochastic Fair Blue 151#options ALTQ_CBQ # Class-Based Queueing 152#options ALTQ_CDNR # Diffserv Traffic Conditioner 153#options ALTQ_FIFOQ # First-In First-Out Queue 154#options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box) 155#options ALTQ_HFSC # Hierarchical Fair Service Curve 156#options ALTQ_LOCALQ # Local queueing discipline 157#options ALTQ_PRIQ # Priority Queueing 158#options ALTQ_RED # Random Early Detection 159#options ALTQ_RIO # RED with IN/OUT 160#options ALTQ_WFQ # Weighted Fair Queueing 161 162# JIT compiler for bpfilter 163#options SLJIT 164#options BPFJIT 165 166# These options enable verbose messages for several subsystems. 167# Warning, these may compile large string tables into the kernel! 168#options EISAVERBOSE # verbose EISA device autoconfig messages 169options MIIVERBOSE # verbose PHY autoconfig messages 170options PCIVERBOSE # verbose PCI device autoconfig messages 171#options PCI_CONFIG_DUMP # verbosely dump PCI config space 172options SCSIVERBOSE # human readable SCSI error messages 173 174# wscons terminal emulation 175options WSEMUL_VT100 # VT100 emulation 176options WSDISPLAY_COMPAT_USL # wsconscfg VT handling 177 178# Kernel root file system and dump configuration. 179options NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM 180config netbsd root on ? type ? 181#config netbsd root on sd0a type ffs 182#config netbsd root on ? type nfs 183 184# 185# Device configuration 186# 187 188mainbus0 at root 189cpu* at mainbus0 190 191#### Jazz-Internal bus devices 192 193# PLATFORM_ACER_PICA_61 194# PLATFORM_MICROSOFT_JAZZ 195# PLATFORM_NEC_J96A 196# PLATFORM_NEC_JC94 197# PLATFORM_NEC_R94 198# PLATFORM_NEC_R96 199# PLATFORM_NEC_RAX94 200# PLATFORM_NEC_RD94 201jazzio* at mainbus0 # Jazz-Internal bus host bridge. 202 203timer0 at jazzio? 204mcclock0 at jazzio? 205#pc0 at jazzio? 206#opms0 at jazzio? 207vga0 at jazzio? # Jazz localbus VGA 208pckbc0 at jazzio? # PC keyboard controller 209com0 at jazzio? 210com1 at jazzio? 211lpt0 at jazzio? 212sn0 at jazzio? 213 214fdc0 at jazzio? 215fd* at fdc? drive ? 216 217asc0 at jazzio? flags 0x000000 # NCR53C9x SCSI 218osiop* at jazzio? flags 0x00000 # NCR53C710 SCSI 219oosiop* at jazzio? # NCR53C700 SCSI 220 221#### ISA bus devices 222 223# PLATFORM_ACER_PICA_61 224# PLATFORM_MICROSOFT_JAZZ 225# PLATFORM_NEC_J96A 226# PLATFORM_NEC_R94 227# PLATFORM_NEC_R96 228jazzisabr* at mainbus0 # Jazz-(E)ISA bus bridge. 229isa* at jazzisabr? 230 231# PLATFORM_DESKTECH_ARCSTATION_I 232arcsisabr* at mainbus0 # DeskStation rPC44 ISA host bridge. 233isa* at arcsisabr? 234 235# PLATFORM_DESKTECH_TYNE 236tyneisabr* at mainbus0 # DeskStation Tyne ISA host bridge. 237isa* at tyneisabr? 238 239#isadma0 at isa? 240 241isapnp0 at isa? 242 243timer0 at isa? port 0x40 irq 0 244mcclock0 at isa? port 0x70 245 246#pc0 at isa? irq 1 # generic PC console device 247#opms0 at isa? irq 12 # PS/2 auxiliary port mouse 248vga0 at isa? 249#options VGA_RASTERCONSOLE 250options VGA_RESET 251pckbc0 at isa? # PC keyboard controller 252com0 at isa? port 0x3f8 irq 4 253com1 at isa? port 0x2f8 irq 3 254com2 at isa? port 0x3e8 irq 4 255com3 at isa? port 0x2e8 irq 3 256ast0 at isa? port 0x1a0 irq 3 # AST 4-port serial cards 257com* at ast? slave ? 258 259# Joystick driver. Probe is a little strange; add only if you have one. 260#joy0 at isa? port 0x201 261 262# ISA ST506, ESDI, and IDE controllers 263# Use flags 0x01 if you want to try to use 32bits data I/O (the driver will 264# fall back to 16bits I/O if 32bits I/O are not functional). 265# Some controllers pass the initial 32bit test, but will fail later. 266wdc0 at isa? port 0x1f0 irq 14 flags 0x00 267#wdc1 at isa? port 0x170 irq 15 flags 0x00 268wdc* at isapnp? 269 270# ISA parallel printer interfaces 271lpt0 at isa? port 0x378 irq 7 272 273# ISA network interfaces 274#ec0 at isa? port 0x250 iomem 0xd8000 irq 9 # 3Com 3c503 Ethernet 275ep* at isa? port ? irq ? # 3C509 ethernet cards 276ep* at isapnp? # 3C509B ethernet card 277ne0 at isa? port 0x280 irq 9 # NE[12]000 ethernet cards 278ne1 at isa? port 0x300 irq 10 279ne* at isapnp? # NE[12]000 PnP ethernet 280we0 at isa? port 0x280 iomem 0xd0000 irq 9 # WD/SMC Ethernet 281we1 at isa? port 0x300 iomem 0xcc000 irq 10 282 283# XXX - should be configured 284#btl0 at isa? port 0x330 irq ? drq ? 285 286#### PCI bus devices 287 288# PLATFORM_NEC_JC94 289# PLATFORM_NEC_RAX94 290# PLATFORM_NEC_RD94 291necpb* at mainbus0 # NEC RISCstation PCI host bridge. 292pci* at necpb? 293pci* at ppb? bus ? 294options PCI_NETBSD_CONFIGURE 295 296ppb* at pci? dev ? function ? # PCI-PCI bridges 297 298# PCI cryptographic devices 299hifn* at pci? dev ? function ? # Hifn 7755/7811/795x 300ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x 301 302#vga* at pci? dev ? function ? 303tga* at pci? dev ? function ? # DEC ZLXp-E[123] Graphics 304 305# PCI SCSI controllers 306adv* at pci? dev ? function ? # AdvanSys 1200[A,B], 9xx[U,UA] 307ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI 308iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI 309njs* at pci? dev ? function ? # Workbit NinjaSCSI-32 310pcscp* at pci? dev ? function ? # AMD Am53c974 PCscsi-PCI SCSI 311siop* at pci? dev ? function ? # NCR/Symbios 53c8xx SCSI 312esiop* at pci? dev ? function ? # NCR/Symbios 53c875/95/1010 313trm* at pci? dev ? function ? # Tekram DC-395/315 SCSI 314 315# PCI IDE controllers - see pciide(4) for supported hardware. 316# The 0x0001 flag force the driver to use DMA, even if the driver doesn't know 317# how to set up DMA modes for this chip. This may work, or may cause 318# a machine hang with some controllers. 319pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver 320acardide* at pci? dev ? function ? # Acard IDE controllers 321#aceride* at pci? dev ? function ? # Acer Lab IDE controllers 322#artsata* at pci? dev ? function ? # Intel i31244 SATA controller 323cmdide* at pci? dev ? function ? # CMD tech IDE controllers 324#cypide* at pci? dev ? function ? # Cypress IDE controllers 325hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers 326optiide* at pci? dev ? function ? # Opti IDE controllers 327pdcide* at pci? dev ? function ? # Promise IDE controllers 328pdcsata* at pci? dev ? function ? # Promise SATA150 controllers 329satalink* at pci? dev ? function ? # SiI SATALink controllers 330#siside* at pci? dev ? function ? # SiS IDE controllers 331slide* at pci? dev ? function ? # Symphony Labs IDE controllers 332viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers 333 334# PCI network devices 335#an* at pci? dev ? function ? # Aironet PC4500/PC4800 (802.11) 336bge* at pci? dev ? function ? # Broadcom 570x gigabit Ethernet 337#en* at pci? dev ? function ? # ENI/Adaptec ATM 338ep* at pci? dev ? function ? # 3Com 3c59x 339epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 340#esh* at pci? dev ? function ? # Essential HIPPI card 341ex* at pci? dev ? function ? # 3Com 90x[BC] 342#fpa* at pci? dev ? function ? # DEC DEFPA FDDI 343fxp* at pci? dev ? function ? # Intel EtherExpress PRO 344gsip* at pci? dev ? function ? # NS83820 Gigabit Ethernet 345#hme* at pci? dev ? function ? # Sun STP2002-STQ 346#le* at pci? dev ? function ? # PCnet-PCI Ethernet 347#lmc* at pci? dev ? function ? # Lan Media Corp SSI/HSSI/DS3 348#mtd* at pci? dev ? function ? # Myson MTD803 3-in-1 Ethernet 349ne* at pci? dev ? function ? # NE2000-compatible 350#ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial 351pcn* at pci? dev ? function ? # AMD PCnet-PCI Ethernet 352re* at pci? dev ? function ? # Realtek 8139C+/8169/8110S 353rtk* at pci? dev ? function ? # Realtek 8129/8139 354sf* at pci? dev ? function ? # Adaptec AIC-6915 Ethernet 355sip* at pci? dev ? function ? # SiS 900/DP83815 Ethernet 356#skc* at pci? dev ? function ? # SysKonnect SK9821 357#sk* at skc? # SysKonnect SK9821 358ste* at pci? dev ? function ? # Sundance ST-201 Ethernet 359#stge* at pci? dev ? function ? # Sundance/Tamarack TC9021 360#ti* at pci? dev ? function ? # Alteon ACEnic gigabit Ethernet 361tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 362tlp* at pci? dev ? function ? # DECchip 21x4x and clones 363vge* at pci? dev ? function ? # VIA VT612X Gigabit Ethernet 364vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet 365#wi* at pci? dev ? function ? # Intersil Prism Mini-PCI 366wm* at pci? dev ? function ? # Intel 82543/82544 gigabit 367 368#### MII/PHY support 369acphy* at mii? phy ? # Altima AC101 and AMD Am79c874 PHYs 370amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs 371bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs 372brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs 373ciphy* at mii? phy ? # Cicada CS8201 Gig-E PHYs 374dmphy* at mii? phy ? # Davicom DM9101 PHYs 375exphy* at mii? phy ? # 3Com internal PHYs 376#gentbi* at mii? phy ? # Generic Ten-Bit 1000BASE-[CLS]X PHYs 377glxtphy* at mii? phy ? # Level One LXT-1000 PHYs 378gphyter* at mii? phy ? # NS83861 Gig-E PHY 379icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x 380ikphy* at mii? phy ? # Intel 82563 PHYs 381inphy* at mii? phy ? # Intel 82555 PHYs 382iophy* at mii? phy ? # Intel 82553 PHYs 383lxtphy* at mii? phy ? # Level One LXT-970 PHYs 384makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs 385nsphy* at mii? phy ? # NS83840 PHYs 386nsphyter* at mii? phy ? # NS83843 PHYs 387qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 388sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 389tlphy* at mii? phy ? # ThunderLAN PHYs 390tqphy* at mii? phy ? # TDK Semiconductor PHYs 391ukphy* at mii? phy ? # generic unknown PHYs 392#urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs 393 394# SCSI bus support 395scsibus* at scsi? 396 397#### SCSI bus devices 398 399sd* at scsibus? target ? lun ? 400st* at scsibus? target ? lun ? 401cd* at scsibus? target ? lun ? 402ch* at scsibus? target ? lun ? 403ss* at scsibus? target ? lun ? 404uk* at scsibus? target ? lun ? 405 406# ATA (IDE) bus support 407atabus* at ata? 408 409# IDE drives 410# Flags are used only with controllers that support DMA operations 411# and mode settings (e.g. some pciide controllers) 412# The lowest order four bits (rightmost digit) of the flags define the PIO 413# mode to use, the next set of four bits the DMA mode and the third set the 414# UltraDMA mode. For each set of four bits, the 3 lower bits define the mode 415# to use, and the last bit must be 1 for this setting to be used. 416# For DMA and UDMA, 0xf (1111) means 'disable'. 417# 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'. 418# (0xc=1100, 0xa=1010, 0xf=1111) 419# 0x0000 means "use whatever the drive claims to support". 420wd* at atabus? drive ? flags 0x0000 421 422# ATAPI bus support 423atapibus* at atapi? 424 425#### ATAPI bus devices 426 427# flags have the same meaning as for IDE drives. 428cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives 429sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives 430uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown 431 432#### Workstation Console attachments 433 434wsdisplay* at vga? 435wsdisplay* at tga? 436pckbd* at pckbc? # PC keyboard (kbd port) 437wskbd* at pckbd? 438pms* at pckbc? # PS/2-style mouse (aux port) 439wsmouse* at pms? 440 441#### Pseudo devices 442 443pseudo-device crypto # /dev/crypto device 444pseudo-device swcrypto # software crypto implementation 445 446# disk/mass storage pseudo-devices 447pseudo-device ccd # concatenated/striped disk devices 448#pseudo-device cgd # cryptographic disk devices 449pseudo-device raid # RAIDframe disk driver 450#options RAID_AUTOCONFIG 451# Options to enable various other RAIDframe RAID types. 452#options RF_INCLUDE_EVENODD=1 453#options RF_INCLUDE_RAID5_RS=1 454#options RF_INCLUDE_PARITYLOGGING=1 455#options RF_INCLUDE_CHAINDECLUSTER=1 456#options RF_INCLUDE_INTERDECLUSTER=1 457#options RF_INCLUDE_PARITY_DECLUSTERING=1 458#options RF_INCLUDE_PARITY_DECLUSTERING_DS=1 459pseudo-device fss # file system snapshot device 460pseudo-device md # memory disk device (ramdisk) 461pseudo-device vnd # disk-like interface to files 462#options VND_COMPRESSION # compressed vnd(4) 463pseudo-device putter # for puffs and pud 464 465# network pseudo-devices 466pseudo-device bpfilter # Berkeley packet filter 467#pseudo-device carp # Common Address Redundancy Protocol 468pseudo-device ipfilter # IP filter (firewall) and NAT 469pseudo-device loop # network loopback 470pseudo-device ppp # Point-to-Point Protocol 471pseudo-device pppoe # PPP over Ethernet (RFC 2516) 472pseudo-device sl # Serial Line IP 473#pseudo-device strip # Starmode Radio IP (Metricom) 474pseudo-device tun # network tunneling over tty 475pseudo-device tap # virtual Ethernet 476#pseudo-device gre # generic L3 over IP tunnel 477pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933) 478#pseudo-device faith # IPv[46] tcp relay translation i/f 479pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation 480pseudo-device vlan # IEEE 802.1q encapsulation 481pseudo-device bridge # simple inter-network bridging 482#options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too 483pseudo-device agr # IEEE 802.3ad link aggregation 484 485# 486# accept filters 487pseudo-device accf_data # "dataready" accept filter 488pseudo-device accf_http # "httpready" accept filter 489 490# miscellaneous pseudo-devices 491pseudo-device pty # pseudo-terminals 492#pseudo-device sequencer # MIDI sequencer 493# rnd works; RND_COM does not on port arc yet. 494#options RND_COM # use "com" randomness as well (BROKEN) 495pseudo-device clockctl # user control of clock subsystem 496 497# a pseudo device needed for Coda # also needs CODA (above) 498#pseudo-device vcoda # coda minicache <-> venus comm. 499 500# mouse & keyboard multiplexor pseudo-devices 501#pseudo-device wsmux 502pseudo-device ksyms # /dev/ksyms 503#pseudo-device pf # PF packet filter 504#pseudo-device pflog # PF log if 505 506# Veriexec 507# 508# a pseudo device needed for veriexec 509#pseudo-device veriexec 510# 511# Uncomment the fingerprint methods below that are desired. Note that 512# removing fingerprint methods will have almost no impact on the kernel 513# code size. 514# 515#options VERIFIED_EXEC_FP_SHA256 516#options VERIFIED_EXEC_FP_SHA384 517#options VERIFIED_EXEC_FP_SHA512 518