GENERIC revision 1.173.4.2
1 # $NetBSD: GENERIC,v 1.173.4.2 2020/02/29 20:18:21 ad 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/cats/conf/std.cats" 22 23 options INCLUDE_CONFIG_FILE # embed config file in kernel binary 24 25 # estimated number of users 26 27 maxusers 32 28 29 # Standard system options 30 31 options INSECURE # disable kernel securelevel 32 33 options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 34 options NTP # NTP phase/frequency locked loop 35 36 # experimental ELF support when used on a CATS board running ABLE 37 #options ABLEELF 38 #makeoptions ABLEELF="1" 39 40 # Alternate buffer queue strategies for better responsiveness under high 41 # disk I/O load. 42 #options BUFQ_READPRIO 43 options BUFQ_PRIOCSCAN 44 45 # CPU options 46 47 # For StrongARM systems 48 options CPU_SA110 # Support the SA110 core 49 makeoptions CPUFLAGS="-march=armv4 -mtune=strongarm" 50 #options VERBOSE_INIT_ARM 51 #options FCOM_INIT_ARM # early console attach 52 53 # File systems 54 55 file-system FFS # UFS 56 #file-system LFS # log-structured file system 57 file-system MFS # memory file system 58 file-system NFS # Network file system 59 #file-system ADOSFS # AmigaDOS-compatible file system 60 #file-system EXT2FS # second extended file system (linux) 61 file-system CD9660 # ISO 9660 + Rock Ridge file system 62 file-system MSDOSFS # MS-DOS file system 63 file-system FDESC # /dev/fd 64 file-system KERNFS # /kern 65 file-system NULLFS # loopback file system 66 #file-system OVERLAY # overlay filesystem 67 file-system PUFFS # Userspace file systems (e.g. ntfs-3g & sshfs) 68 file-system PROCFS # /proc 69 file-system UMAPFS # NULLFS + uid and gid remapping 70 file-system UNION # union file system 71 #file-system CODA # Coda File System; also needs vcode (below) 72 file-system PTYFS # /dev/pts/N support 73 file-system TMPFS # Efficient memory file-system 74 #file-system UDF # experimental - OSTA UDF CD/DVD file-system 75 76 # File system options 77 options QUOTA # legacy UFS quotas 78 options QUOTA2 # new, in-filesystem UFS quotas 79 #options FFS_EI # FFS Endian Independent support 80 options NFSSERVER 81 options WAPBL # File system journaling support 82 #options UFS_DIRHASH # UFS Large Directory Hashing - Experimental 83 #options FFS_NO_SNAPSHOT # No FFS snapshot support 84 options UFS_EXTATTR # Extended attribute support for UFS1 85 86 # Networking options 87 88 #options GATEWAY # packet forwarding 89 options INET # IP + ICMP + TCP + UDP 90 options INET6 # IPV6 91 #options IPSEC # IP security 92 #options IPSEC_DEBUG # debug for IP security 93 #options MROUTING # IP multicast routing 94 #options PIM # Protocol Independent Multicast 95 #options NETATALK # AppleTalk networking 96 options PPP_BSDCOMP # BSD-Compress compression support for PPP 97 options PPP_DEFLATE # Deflate compression support for PPP 98 options PPP_FILTER # Active filter support for PPP (requires bpf) 99 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 100 101 #options ALTQ # Manipulate network interfaces' output queues 102 #options ALTQ_BLUE # Stochastic Fair Blue 103 #options ALTQ_CBQ # Class-Based Queueing 104 #options ALTQ_CDNR # Diffserv Traffic Conditioner 105 #options ALTQ_FIFOQ # First-In First-Out Queue 106 #options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box) 107 #options ALTQ_HFSC # Hierarchical Fair Service Curve 108 #options ALTQ_LOCALQ # Local queueing discipline 109 #options ALTQ_PRIQ # Priority Queueing 110 #options ALTQ_RED # Random Early Detection 111 #options ALTQ_RIO # RED with IN/OUT 112 #options ALTQ_WFQ # Weighted Fair Queueing 113 114 options NFS_BOOT_BOOTP 115 options NFS_BOOT_DHCP 116 #options NFS_BOOT_BOOTPARAM 117 118 # Compatibility options 119 120 include "conf/compat_netbsd13.config" 121 options COMPAT_NETBSD32 # allow running arm (e.g. non-earm) binaries 122 123 # Shared memory options 124 125 options SYSVMSG # System V-like message queues 126 options SYSVSEM # System V-like semaphores 127 options SYSVSHM # System V-like memory sharing 128 129 # Device options 130 131 #options MEMORY_DISK_HOOKS # boottime setup of ramdisk 132 #options MEMORY_DISK_ROOT_SIZE=3400 # Size in blocks 133 #options MEMORY_DISK_IS_ROOT # use memory disk as root 134 135 # Miscellaneous kernel options 136 options KTRACE # system call tracing, a la ktrace(1) 137 #options IRQSTATS # manage IRQ statistics 138 options SCSIVERBOSE # Verbose SCSI errors 139 options PCIVERBOSE # Verbose PCI descriptions 140 options MIIVERBOSE # verbose PHY autoconfig messages 141 #options PCI_CONFIG_DUMP # verbosely dump PCI config space 142 options USBVERBOSE # verbose USB device autoconfig messages 143 options USERCONF # userconf(4) support 144 #options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 145 options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel 146 147 # if set defines a keycode for the fcom console to break into ddb. 148 # 0x40 == @, see man ascii(7) 149 #options DDB_KEYCODE=0x40 150 151 # wscons options 152 #options WSEMUL_SUN # sun terminal emulation 153 options WSEMUL_VT100 # VT100 / VT220 emulation 154 # different kernel output - see dev/wscons/wsdisplayvar.h 155 options WS_KERNEL_FG=WSCOL_GREEN 156 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls 157 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls 158 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling 159 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes 160 # see dev/wscons/wskbdmap_mfii.h for implemented layouts 161 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" 162 163 # Development and Debugging options 164 165 #options PORTMASTER # Enable PortMaster only options 166 #options DIAGNOSTIC # internal consistency checks 167 #options PMAP_DEBUG # Enable pmap_debug_level code 168 options DDB # in-kernel debugger 169 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB 170 #makeoptions DEBUG="-g" # compile full symbol table 171 #makeoptions COPY_SYMTAB=1 172 173 config netbsd root on ? type ? 174 175 # The main bus device 176 mainbus0 at root 177 178 # The boot CPU 179 cpu0 at mainbus? 180 181 # Core logic 182 footbridge0 at mainbus? 183 184 # footbridge uart 185 fcom0 at footbridge? 186 187 # system clock via footbridge 188 #clock* at footbridge? 189 190 # PCI bus support 191 # PCI bus via footbridge 192 pci0 at footbridge? # PCI bus 193 194 pci* at ppb? bus ? 195 196 # PCI bridges 197 ppb* at pci? dev ? function ? # PCI-PCI bridges 198 # XXX 'puc's aren't really bridges, but there's no better place for them here 199 #puc* at pci? dev ? function ? # PCI "universal" comm. cards 200 201 # Cryptographic Devices 202 203 # PCI cryptographic devices 204 #hifn* at pci? dev ? function ? # Hifn 7755/7811/795x 205 #ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x 206 207 208 # PCI serial interfaces 209 #com* at puc? port ? # 16x50s on "universal" comm boards 210 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 211 212 # PCI parallel printer interfaces 213 #lpt* at puc? port ? # || ports on "universal" comm boards 214 215 # PCI SCSI Controllers and Buses 216 #adv* at pci? dev ? function ? # AdvanSys 1200[A,B], ULTRA SCSI 217 #scsibus* at adv? 218 #adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI 219 #scsibus* at adw? 220 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI controllers 221 #scsibus* at ahc? 222 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 223 #scsibus* at bha? 224 #iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI 225 #scsibus* at iha? 226 #isp* at pci? dev ? function ? # Qlogic ISP 10x0 SCSI controllers 227 #scsibus* at isp? 228 #pcscp* at pci? dev ? function ? # AMD 53c974 PCscsi-PCI SCSI 229 #scsibus* at pcscp? 230 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 231 #scsibus* at siop? 232 #esiop* at pci? dev ? function ? # NCR 53c875 SCSI and newer 233 #scsibus* at esiop? 234 235 # SCSI devices 236 #sd* at scsibus? target ? lun ? # SCSI disk drives 237 #st* at scsibus? target ? lun ? # SCSI tape drives 238 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 239 #ch* at scsibus? target ? lun ? # SCSI auto-changers 240 #uk* at scsibus? target ? lun ? # SCSI unknown device 241 #ss* at scsibus? target ? lun ? # SCSI scanner 242 243 # PCI IDE Controllers and Devices 244 # PCI IDE controllers - see pciide(4) for supported hardware. 245 # The 0x0001 flag force the driver to use DMA, even if the driver doesn't know 246 # how to set up DMA modes for this chip. This may work, or may cause 247 # a machine hang with some controllers. 248 #pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver 249 #acardide* at pci? dev ? function ? # Acard IDE controllers 250 aceride* at pci? dev ? function ? # Acer Lab IDE controllers 251 #artsata* at pci? dev ? function ? # Intel i31244 SATA controller 252 #cmdide* at pci? dev ? function ? # CMD tech IDE controllers 253 #cypide* at pci? dev ? function ? # Cypress IDE controllers 254 #hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers 255 #optiide* at pci? dev ? function ? # Opti IDE controllers 256 #pdcide* at pci? dev ? function ? # Promise IDE controllers 257 #pdcsata* at pci? dev ? function ? # Promise SATA150 controllers 258 #satalink* at pci? dev ? function ? # SiI SATALink controllers 259 #siside* at pci? dev ? function ? # SiS IDE controllers 260 #slide* at pci? dev ? function ? # Symphony Labs IDE controllers 261 #viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers 262 263 # ATA (IDE) bus support 264 atabus* at ata? 265 266 # IDE drives 267 # Flags are used only with controllers that support DMA operations 268 # and mode settings (e.g. some pciide controllers) 269 # The lowest order four bits (rightmost digit) of the flags define the PIO 270 # mode to use, the next set of four bits the DMA mode and the third set the 271 # UltraDMA mode. For each set of four bits, the 3 lower bits define the mode 272 # to use, and the last bit must be 1 for this setting to be used. 273 # For DMA and UDMA, 0xf (1111) means 'disable'. 274 # 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'. 275 # (0xc=1100, 0xa=1010, 0xf=1111) 276 # 0x0000 means "use whatever the drive claims to support". 277 wd* at atabus? drive ? flags 0x0000 # the drives themselves 278 279 # ATAPI bus support 280 atapibus* at atapi? 281 282 # ATAPI devices 283 cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives 284 sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives 285 uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown 286 287 # PCI network interfaces 288 ep* at pci? dev ? function ? # 3C590 ethernet cards 289 ex* at pci? dev ? function ? # 3Com 90x[B] 290 epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 291 fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 292 #pcn* at pci? dev ? function ? # PCnet-PCI Ethernet 293 ne* at pci? dev ? function ? # NE2000 compat ethernet 294 #ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial 295 sip* at pci? dev ? function ? # SiS 900 Ethernet 296 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 297 tlp* at pci? dev ? function ? # DECchip 21x4x and clones 298 vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet 299 rtk* at pci? dev ? function ? # Realtek 8129/8139 300 301 # MII/PHY support 302 acphy* at mii? phy ? # DAltima AC101 and AMD Am79c874 PHYs 303 amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs 304 bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs 305 brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs 306 dmphy* at mii? phy ? # Davicom DM9101 PHYs 307 exphy* at mii? phy ? # 3Com internal PHYs 308 glxtphy* at mii? phy ? # Level One LXT-1000 PHYs 309 gphyter* at mii? phy ? # NS83861 Gig-E PHY 310 icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x 311 inphy* at mii? phy ? # Intel 82555 PHYs 312 iophy* at mii? phy ? # Intel 82553 PHYs 313 lxtphy* at mii? phy ? # Level One LXT-970 PHYs 314 makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs 315 nsphy* at mii? phy ? # NS83840 PHYs 316 nsphyter* at mii? phy ? # NS83843 PHYs 317 pnaphy* at mii? phy ? # generic HomePNA PHYs 318 qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 319 rgephy* at mii? phy ? # Realtek 8169S/8110S/8211 PHYs 320 rlphy* at mii? phy ? # Realtek 8139/8201L PHYs 321 sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 322 tlphy* at mii? phy ? # ThunderLAN PHYs 323 tqphy* at mii? phy ? # TDK Semiconductor PHYs 324 ukphy* at mii? phy ? # generic unknown PHYs 325 urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs 326 327 # USB Controller and Devices 328 329 # PCI USB controllers 330 ohci* at pci? # Open Host Controller 331 332 # USB bus support 333 usb* at ohci? 334 335 # USB Hubs 336 uhub* at usb? 337 uhub* at uhub? port ? 338 339 # USB HID device 340 uhidev* at uhub? port ? configuration ? interface ? 341 342 # USB Mice 343 ums* at uhidev? reportid ? 344 wsmouse* at ums? 345 346 # USB Keyboards 347 ukbd* at uhidev? reportid ? 348 wskbd* at ukbd? console ? 349 350 # USB serial adapter 351 ucycom* at uhidev? reportid ? 352 353 # USB Generic HID devices 354 uhid* at uhidev? reportid ? 355 356 # USB Printer 357 ulpt* at uhub? port ? configuration ? interface ? 358 359 # USB Modem 360 umodem* at uhub? port ? configuration ? 361 ucom* at umodem? 362 363 # USB Mass Storage 364 umass* at uhub? port ? configuration ? interface ? 365 scsibus* at umass? channel ? 366 367 # USB audio 368 uaudio* at uhub? port ? configuration ? 369 audio* at uaudio? 370 371 # USB MIDI 372 umidi* at uhub? port ? configuration ? 373 midi* at umidi? 374 375 # USB Ethernet adapters 376 aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters 377 axe* at uhub? port ? # ASIX AX88172 based adapters 378 cue* at uhub? port ? # CATC USB-EL1201A based adapters 379 kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters 380 mue* at uhub? port ? # Microchip LAN75xx/LAN78xx based adapters 381 ure* at uhub? port ? # Realtek RTL8152/RTL8153 based adapters 382 url* at uhub? port ? # Realtek RTL8150L based adapters 383 udav* at uhub? port ? # Davicom DM9601 based adapters 384 385 # Prolific PL2301/PL2302 host-to-host adapter 386 upl* at uhub? port ? 387 388 # Serial adapters 389 # FTDI FT8U100AX serial adapter 390 uftdi* at uhub? port ? 391 ucom* at uftdi? portno ? 392 393 uplcom* at uhub? port ? # I/O DATA USB-RSAQ2 serial adapter 394 ucom* at uplcom? portno ? 395 396 umct* at uhub? port ? # MCT USB-RS232 serial adapter 397 ucom* at umct? portno ? 398 399 # USB Handspring Visor 400 uvisor* at uhub? port ? 401 ucom* at uvisor? 402 403 # Kyocera AIR-EDGE PHONE 404 ukyopon* at uhub? port ? 405 ucom* at ukyopon? portno ? 406 407 # USB scanners 408 #uscanner* at uhub? port ? 409 410 # USB scanners that use SCSI emulation, e.g., HP5300 411 usscanner* at uhub? port ? 412 scsibus* at usscanner? channel ? 413 414 # Y@P firmware loader 415 uyap* at uhub? port ? 416 417 # USB Generic driver 418 ugen* at uhub? port ? 419 420 # Audio Devices 421 422 # PCI audio devices 423 #eap* at pci? dev ? function ? # Ensoniq AudioPCI 424 #sv* at pci? dev ? function ? # S3 SonicVibes 425 426 # Audio support 427 #audio* at eap? 428 #audio* at sv? 429 430 vga* at pci? 431 wsdisplay* at vga? console ? 432 433 # ISA bus bridging 434 435 pcib* at pci? dev ? function ? # PCI-ISA bridge 436 isa* at pcib? # ISA bus 437 438 # ISA Plug-and-Play bus support 439 isapnp0 at isa? 440 441 # wscons 442 pckbc0 at isa? # pc keyboard controller 443 pckbd* at pckbc? # PC keyboard 444 pms* at pckbc? # PS/2 mouse for wsmouse 445 wskbd* at pckbd? console ? 446 wsmouse* at pms? 447 448 attimer0 at isa? 449 pcppi0 at isa? 450 sysbeep0 at pcppi? 451 452 # ISA Plug-and-Play serial interfaces 453 com* at isapnp? # Modems and serial boards 454 455 # ISA Plug-and-Play network interfaces 456 ep* at isapnp? # 3Com 3c509 Ethernet 457 fmv* at isapnp? # Fujitsu FMV-183 458 ne* at isapnp? # NE2000-compatible 459 460 # ISA serial interfaces 461 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 462 com1 at isa? port 0x2f8 irq 3 463 #com2 at isa? port 0x3e8 irq 9 464 #com3 at isa? port 0x2e8 irq 10 465 466 # ISA parallel printer interfaces 467 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 468 lpt1 at isa? port 0x278 irq 5 469 #lpt2 at isa? port 0x3bc 470 471 # ISA floppy 472 #fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 473 #fdc1 at isa? port 0x370 irq ? drq ? 474 #fd* at fdc? drive ? # the drives themselves 475 476 # ISA network interface 477 #ne0 at isa? port 0x280 irq 9 478 #ne1 at isa? port 0x300 irq 10 479 #ep* at isa? port ? irq ? 480 481 # The spkr driver provides a simple tone interface to the built in speaker. 482 spkr* at pcppi? # PC speaker 483 spkr* at audio? # PC speaker (synthesized) 484 485 ds1687rtc0 at isa? port 0x72 # Dallas 1687 RTC 486 487 # ISA Plug-and-Play audio devices 488 ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio 489 sb* at isapnp? # SoundBlaster-compatible audio 490 wss* at isapnp? # Windows Sound System 491 492 # OPL[23] FM syntheziers 493 opl* at ess? 494 opl* at sb? 495 496 # Audio support 497 audio* at ess? 498 audio* at sb? 499 audio* at wss? 500 501 # MPU 401 UARTs 502 #mpu* at sb? 503 504 # MIDI support 505 midi* at pcppi? # MIDI interface to the PC speaker 506 midi* at sb? # SB MPU401 port 507 midi* at opl? # OPL FM synth 508 #midi* at mpu? # MPU 401 509 510 # Joysticks 511 512 # ISA Plug-and-Play joysticks 513 joy* at isapnp? # Game ports (usually on audio cards) 514 515 # ISA joysticks. Probe is a little strange; add only if you have one. 516 #joy0 at isa? port 0x201 517 518 # Pseudo-Devices 519 520 #pseudo-device crypto # /dev/crypto device 521 #pseudo-device swcrypto # software crypto implementation 522 523 # disk/mass storage pseudo-devices 524 pseudo-device ccd # concatenated/striped disk devices 525 pseudo-device fss # file system snapshot device 526 #pseudo-device cgd # cryptographic disk devices 527 pseudo-device md # memory disk device (ramdisk) 528 pseudo-device vnd # disk-like interface to files 529 #options VND_COMPRESSION # compressed vnd(4) 530 pseudo-device putter # for puffs and pud 531 532 # network pseudo-devices 533 pseudo-device bpfilter # Berkeley packet filter 534 pseudo-device carp # Common Address Redundancy Protocol 535 #pseudo-device npf # NPF packet filter 536 pseudo-device loop # network loopback 537 pseudo-device ppp # Point-to-Point Protocol 538 pseudo-device pppoe # PPP over Ethernet (RFC 2516) 539 #pseudo-device sl # Serial Line IP 540 pseudo-device tun # network tunneling over tty 541 pseudo-device tap # virtual Ethernet 542 pseudo-device gre # generic L3 over IP tunnel 543 pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933) 544 #pseudo-device faith # IPv[46] tcp relay translation i/f 545 pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation 546 pseudo-device vlan # IEEE 802.1q encapsulation 547 pseudo-device bridge # simple inter-network bridging 548 #options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too 549 pseudo-device agr # IEEE 802.3ad link aggregation 550 551 # 552 # accept filters 553 pseudo-device accf_data # "dataready" accept filter 554 pseudo-device accf_http # "httpready" accept filter 555 556 # miscellaneous pseudo-devices 557 pseudo-device pty # pseudo-terminals 558 pseudo-device sequencer # MIDI sequencer 559 #options RND_COM # use "com" randomness as well (BROKEN) 560 pseudo-device clockctl # user control of clock subsystem 561 pseudo-device drvctl # user control of drive subsystem 562 563 # a pseudo device needed for Coda # also needs CODA (above) 564 #pseudo-device vcoda # coda minicache <-> venus comm. 565 566 # mouse & keyboard multiplexor pseudo-devices 567 pseudo-device wsmux 568 pseudo-device wsfont 569 pseudo-device ksyms # /dev/ksyms 570 571 include "dev/veriexec.config" 572
Indexes created Tue Oct 28 12:10:06 GMT 2025