INSTALL_TINY revision 1.149
1 # $NetBSD: INSTALL_TINY,v 1.149 2017/02/19 07:47:01 rin Exp $ 2 # 3 # This kernel should be derived from INSTALL (which is derived 4 # from GENERIC) with some features commented out. 5 # 6 # This kernel has been optimized for space. It is targeted towards 7 # small memory machines (4M). It has no SCSI, PCI or EISA. It does 8 # have pcmcia, for old laptops. 9 # 10 11 include "arch/i386/conf/std.i386" 12 13 #options INCLUDE_CONFIG_FILE # embed config file in kernel binary 14 15 makeoptions COPTS="-Os" # Optimise for space. Implies -O2 16 makeoptions USE_SSP="no" 17 18 # Enable the hooks used for initializing the root memory-disk. 19 options MEMORY_DISK_HOOKS 20 options MEMORY_DISK_IS_ROOT # force root on memory disk 21 options MEMORY_DISK_SERVER=0 # no userspace memory disk support 22 options MEMORY_DISK_ROOT_SIZE=3100 # size of memory disk, in blocks 23 options MEMORY_DISK_RBFLAGS=RB_SINGLE # boot in single-user mode 24 25 maxusers 2 # estimated number of users 26 27 # CPU-related options. 28 #options VM86 # virtual 8086 emulation 29 #options USER_LDT # user-settable LDT; used by WINE 30 31 # This option allows you to force a serial console at the specified 32 # I/O address. 33 #options CONSDEVNAME="\"com\"",CONADDR=0x3f8,CONSPEED=9600 34 35 # The following options override the memory sizes passed in from the boot 36 # block. Use them *only* if the boot block is unable to determine the correct 37 # values. Note that the BIOS may *correctly* report less than 640k of base 38 # memory if the extended BIOS data area is located at the top of base memory 39 # (as is the case on most recent systems). 40 #options REALBASEMEM=... # size of base memory 41 #options REALEXTMEM=... # size of extended memory 42 43 options INSECURE # disable kernel security levels 44 45 options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 46 #options NTP # NTP phase/frequency locked loop 47 48 #options KTRACE # system call tracing via ktrace(1) 49 50 #options SYSVSEM # System V-like semaphores 51 #options SYSVSHM # System V-like memory sharing 52 53 #options USERCONF # userconf(4) support 54 options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 55 #options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel 56 no options EXEC_AOUT # we don't a.out support 57 58 # Diagnostic/debugging support options 59 #options DIAGNOSTIC # inexpensive kernel consistency checks 60 #options DEBUG # expensive debugging checks/support 61 #options DDB # in-kernel debugger 62 #options DDB_ONPANIC=1 # see also sysctl(7): `ddb.onpanic' 63 #options DDB_HISTORY_SIZE=512 # enable history editing in DDB 64 #options KGDB # remote debugger 65 #options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600 66 #makeoptions DEBUG="-g" # compile full symbol table 67 68 # Compatibility options 69 #options COMPAT_NOMID # NetBSD 0.8, 386BSD, and BSDI 70 #options COMPAT_09 # NetBSD 0.9, 71 #options COMPAT_10 # NetBSD 1.0, 72 #options COMPAT_11 # NetBSD 1.1, 73 #options COMPAT_12 # NetBSD 1.2 (and 386BSD and BSDI), 74 #options COMPAT_13 # NetBSD 1.3 (and 386BSD and BSDI), 75 #options COMPAT_14 # NetBSD 1.4, 76 #options COMPAT_15 # NetBSD 1.5, 77 #options COMPAT_16 # NetBSD 1.6, 78 #options COMPAT_20 # NetBSD 2.0, 79 #options COMPAT_30 # NetBSD 3.0, 80 #options COMPAT_40 # NetBSD 4.0, 81 #options COMPAT_50 # NetBSD 5.0, 82 #options COMPAT_60 # NetBSD 6.0, and 83 #options COMPAT_70 # NetBSD 7.0 binary compatibility. 84 #options COMPAT_43 # 4.3BSD, 386BSD, and BSDI compatibility. 85 #options COMPAT_386BSD_MBRPART # recognize old partition ID 86 #options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended. 87 88 #options COMPAT_SVR4 # binary compatibility with SVR4 89 #options COMPAT_IBCS2 # binary compatibility with SCO and ISC 90 #options COMPAT_LINUX # binary compatibility with Linux 91 #options COMPAT_FREEBSD # binary compatibility with FreeBSD 92 options COMPAT_BSDPTY # /dev/[pt]ty?? ptys. 93 94 # File systems 95 file-system FFS # UFS 96 #file-system EXT2FS # second extended file system (linux) 97 #file-system LFS # log-structured file system 98 #file-system MFS # memory file system 99 file-system NFS # Network File System client 100 file-system CD9660 # ISO 9660 + Rock Ridge file system 101 file-system MSDOSFS # MS-DOS file system 102 #file-system FDESC # /dev/fd 103 #file-system KERNFS # /kern 104 #file-system NULLFS # loopback file system 105 #file-system PROCFS # /proc 106 #file-system UMAPFS # NULLFS + uid and gid remapping 107 #file-system UNION # union file system 108 #file-system PTYFS # /dev/pts/N support 109 #file-system TMPFS # Efficient memory file-system 110 111 # Filesystem options 112 #options QUOTA # legacy UFS quotas 113 #options QUOTA2 # new, in-filesystem UFS quotas 114 #options DISKLABEL_EI # disklabel Endian Independent support 115 #options FFS_EI # FFS Endian Independent support 116 #options NFSSERVER # Network File System server 117 options NFS_V2_ONLY # Exclude NFS3 code to save space 118 options FFS_NO_SNAPSHOT # No FFS snapshot support 119 #options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 120 # immutable) behave as system flags. 121 122 # Networking options 123 #options GATEWAY # packet forwarding 124 options INET # IP + ICMP + TCP + UDP 125 #options MROUTING # IP multicast routing 126 #options PIM # Protocol Independent Multicast 127 #options NETATALK # AppleTalk networking protocols 128 #options PPP_BSDCOMP # BSD-Compress compression support for PPP 129 #options PPP_DEFLATE # Deflate compression support for PPP 130 #options PPP_FILTER # Active filter support for PPP (requires bpf) 131 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 132 133 # These options enable verbose messages for several subsystems. 134 # Warning, these may compile large string tables into the kernel! 135 #options EISAVERBOSE # verbose EISA device autoconfig messages 136 #options PCIVERBOSE # verbose PCI device autoconfig messages 137 #options PCI_CONFIG_DUMP # verbosely dump PCI config space 138 #options PCMCIAVERBOSE # verbose PCMCIA configuration messages 139 #options SCSIVERBOSE # human readable SCSI error messages 140 141 # Squeeze... 142 options NVNODE=50 143 options NBUF=20 144 options BUFPAGES=20 145 146 # Kernel root file system and dump configuration. 147 config netbsd root on ? type ? 148 #config netbsd root on sd0a type ffs 149 #config netbsd root on ? type nfs 150 151 # 152 # wscons options 153 # 154 # builtin terminal emulations 155 #options WSEMUL_SUN # sun terminal emulation 156 options WSEMUL_VT100 # VT100 / VT220 emulation 157 # customization of console and kernel output - see dev/wscons/wsdisplayvar.h 158 #options WSDISPLAY_CUSTOM_OUTPUT # color customization from wsconsctl(8) 159 #options WS_DEFAULT_FG=WSCOL_WHITE 160 #options WS_DEFAULT_BG=WSCOL_BLACK 161 #options WS_DEFAULT_COLATTR="(0)" 162 #options WS_DEFAULT_MONOATTR="(0)" 163 options WS_KERNEL_FG=WSCOL_GREEN 164 #options WS_KERNEL_BG=WSCOL_BLACK 165 #options WS_KERNEL_COLATTR="" 166 #options WS_KERNEL_MONOATTR="" 167 # customization of console border color 168 #options WSDISPLAY_CUSTOM_BORDER # border customization from wsconsctl(8) 169 #options WSDISPLAY_BORDER_COLOR=WSCOL_BLUE # default color 170 # compatibility to other console drivers 171 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls 172 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls 173 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling 174 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes 175 # see dev/pckbport/wskbdmap_mfii.c for implemented layouts 176 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for pckbd driver 177 #options UKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for ukbd driver 178 # allocate a number of virtual screens at autoconfiguration time 179 #options WSDISPLAY_DEFAULTSCREENS=4 180 # use a large software cursor that doesn't blink 181 options PCDISPLAY_SOFTCURSOR 182 183 # 184 # Device configuration 185 # 186 187 #apm0 at mainbus0 # Advanced power management 188 189 190 # Basic Bus Support 191 192 # PCI bus support 193 #pci* at mainbus? bus ? 194 #pci* at pchb? bus ? 195 #pci* at ppb? bus ? 196 197 # PCI bridges 198 #pchb* at pci? dev ? function ? # PCI-Host bridges 199 #pceb* at pci? dev ? function ? # PCI-EISA bridges 200 #pcib* at pci? dev ? function ? # PCI-ISA bridges 201 #ppb* at pci? dev ? function ? # PCI-PCI bridges 202 # XXX 'puc's aren't really bridges, but there's no better place for them here 203 #puc* at pci? dev ? function ? # PCI "universal" comm. cards 204 205 # As well as 5 and 7, avoid irq 4 and 3 because we do not probe com* here 206 options PCIC_ISA_INTR_ALLOC_MASK=0xff47 207 208 # PCMCIA bus support 209 pcmcia* at pcic? controller ? socket ? 210 #pcmcia* at tcic? controller ? socket ? 211 212 # ISA PCMCIA controllers 213 pcic0 at isa? port 0x3e0 iomem 0xd0000 iosiz 0x10000 214 pcic1 at isa? port 0x3e2 iomem 0xe0000 iosiz 0x4000 215 216 # EISA bus support 217 #eisa0 at mainbus? 218 #eisa0 at pceb? 219 220 # ISA bus support 221 isa0 at mainbus? 222 #isa0 at pceb? 223 #isa0 at pcib? 224 225 # ISA Plug-and-Play bus support 226 #isapnp0 at isa? 227 228 229 # Console Devices 230 231 # wscons 232 pckbc0 at isa? # PC keyboard controller 233 pckbd* at pckbc? # PC keyboard 234 pcdisplay0 at isa? # CGA, MDA, EGA, HGA 235 wsdisplay* at pcdisplay? console ? 236 wskbd* at pckbd? console ? 237 #wsmouse* at pms? mux 0 238 239 # Serial Devices 240 241 # PCI serial interfaces 242 #com* at puc? port ? # 16x50s on "universal" comm boards 243 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 244 245 # ISA Plug-and-Play serial interfaces 246 #com* at isapnp? # Modems and serial boards 247 248 # PCMCIA serial interfaces 249 #com* at pcmcia? function ? # Modems and serial cards 250 251 # ISA serial interfaces 252 #options COM_HAYESP # adds Hayes ESP serial board support 253 #com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 254 #com1 at isa? port 0x2f8 irq 3 255 #com2 at isa? port 0x3e8 irq 5 256 #com3 at isa? port 0x2e8 irq 9 257 #ast0 at isa? port 0x1a0 irq 5 # AST 4-port serial cards 258 #com* at ast? slave ? 259 #boca0 at isa? port 0x100 irq 5 # BOCA 8-port serial cards 260 #com* at boca? slave ? 261 #rtfps0 at isa? port 0x1230 irq 10 # RT 4-port serial cards 262 #com* at rtfps? slave ? 263 #cy0 at isa? iomem 0xd4000 irq 12 # Cyclades serial cards 264 265 266 # Parallel Printer Interfaces 267 268 # PCI parallel printer interfaces 269 #lpt* at puc? port ? # || ports on "universal" comm boards 270 271 # ISA parallel printer interfaces 272 #lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 273 #lpt1 at isa? port 0x278 274 #lpt2 at isa? port 0x3bc 275 276 # I2O devices 277 #iop* at pci? dev ? function ? # I/O processor 278 #iopsp* at iop? tid ? # SCSI/FC-AL ports 279 #ld* at iop? tid ? # block devices 280 #dpti* at iop? tid 0 # DPT/Adaptec control interface 281 282 # SCSI Controllers and Devices 283 284 # PCI SCSI controllers 285 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI 286 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 287 #dpt* at pci? dev ? function ? # DPT SmartCache/SmartRAID 288 #isp* at pci? dev ? function ? # Qlogic ISP [12]0x0 SCSI/FibreChannel 289 #mly* at pci? dev ? function ? # Mylex AcceleRAID and eXtremeRAID 290 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 291 292 # EISA SCSI controllers 293 #ahb* at eisa? slot ? # Adaptec 174[02] SCSI 294 #ahc* at eisa? slot ? # Adaptec 274x, aic7770 SCSI 295 #bha* at eisa? slot ? # BusLogic 7xx SCSI 296 #dpt* at eisa? slot ? # DPT SmartCache/SmartRAID 297 #uha* at eisa? slot ? # UltraStor 24f SCSI 298 299 # PCMCIA SCSI controllers 300 #aic* at pcmcia? function ? # Adaptec APA-1460 SCSI 301 302 # ISA Plug-and-Play SCSI controllers 303 #aic* at isapnp? # Adaptec AHA-1520B 304 305 # ISA SCSI controllers 306 #aha0 at isa? port 0x330 irq ? drq ? # Adaptec 154[02] SCSI 307 #aha1 at isa? port 0x334 irq ? drq ? 308 #ahc0 at isa? port ? irq ? # Adaptec 284x SCSI 309 #aic0 at isa? port 0x340 irq 11 # Adaptec 152[02] SCSI 310 #bha0 at isa? port 0x330 irq ? drq ? # BusLogic [457]4X SCSI 311 #bha1 at isa? port 0x334 irq ? drq ? 312 # The "nca" and "dpt" probes might give false hits or hang your machine. 313 #dpt0 at isa? port 0x170 irq ? drq ? # DPT SmartCache/SmartRAID 314 #nca0 at isa? port 0x360 irq 15 # Port-mapped NCR 53C80 controller 315 #nca1 at isa? iomem 0xd8000 irq 5 # Memory-mapped controller (T128, etc.) 316 #sea0 at isa? iomem 0xc8000 irq 5 # Seagate/Future Domain SCSI 317 #uha0 at isa? port 0x330 irq ? drq ? # UltraStor [13]4f SCSI 318 #uha1 at isa? port 0x340 irq ? drq ? 319 #wds0 at isa? port 0x350 irq 15 drq 6 # WD7000 and TMC-7000 controllers 320 #wds1 at isa? port 0x358 irq 11 drq 5 321 322 # SCSI bus support 323 #scsibus* at scsi? 324 325 # SCSI devices 326 #sd* at scsibus? target ? lun ? # SCSI disk drives 327 #st* at scsibus? target ? lun ? # SCSI tape drives 328 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 329 #ch* at scsibus? target ? lun ? # SCSI autochangers 330 #ss* at scsibus? target ? lun ? # SCSI scanners 331 #uk* at scsibus? target ? lun ? # SCSI unknown 332 333 334 # RAID controllers and devices 335 #aac* at pci? dev ? function ? # Adaptec AAC family 336 #cac* at eisa? slot ? # Compaq EISA array controllers 337 #cac* at pci? dev ? function ? # Compaq PCI array controllers 338 #ciss* at pci? dev ? function ? # HP Smart Array controllers 339 #icp* at pci? dev ? function ? # ICP-Vortex GDT & Intel RAID 340 #mlx* at pci? dev ? function ? # Mylex DAC960 & DEC SWXCR family 341 #mlx* at eisa? slot ? # Mylex DAC960 & DEC SWXCR family 342 #twe* at pci? dev ? function ? # 3ware Escalade RAID controllers 343 344 #ld* at aac? unit ? # logical disk devices 345 #ld* at cac? unit ? 346 #ld* at icp? unit ? 347 #ld* at twe? unit ? 348 #ld* at mlx? unit ? 349 350 #icpsp* at icp? unit ? # SCSI pass-through 351 352 353 # IDE and related devices 354 355 # PCMCIA IDE controllers 356 wdc* at pcmcia? function ? 357 358 # ST506, ESDI, and ISA IDE controllers 359 # Use flags 0x01 if you want to try to use 32bits data I/O (the driver will 360 # fall back to 16bits I/O if 32bits I/O are not functional). 361 # Some controllers pass the initial 32bit test, but will fail later. 362 wdc0 at isa? port 0x1f0 irq 14 flags 0x00 363 wdc1 at isa? port 0x170 irq 15 flags 0x00 364 365 # ATA (IDE) bus support 366 atabus* at ata? 367 368 # IDE drives 369 wd* at atabus? drive ? # the drives themselves 370 371 # ATAPI bus support 372 atapibus* at atapi? 373 374 # ATAPI devices 375 cd* at atapibus? drive ? # ATAPI CD-ROM drives 376 #sd* at atapibus? drive ? # ATAPI disk drives 377 378 379 # Miscellaneous mass storage devices 380 381 # ISA floppy 382 fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 383 #fdc1 at isa? port 0x370 irq ? drq ? 384 fd* at fdc? drive ? # the drives themselves 385 # some machines need you to do this instead of fd* 386 #fd0 at fdc0 drive 0 387 388 # ISA CD-ROM devices 389 #mcd0 at isa? port 0x300 irq 10 # Mitsumi CD-ROM drives 390 391 # ISA tape devices 392 # note: the wt driver conflicts unpleasantly with ed devices at the 393 # same I/O address. The probe reprograms their EEPROMs. Don't 394 # uncomment it unless you are actually using it. 395 #wt0 at isa? port 0x308 irq 5 drq 1 # Archive and Wangtek QIC tape drives 396 397 398 # Network Interfaces 399 400 # PCI network interfaces 401 #en* at pci? dev ? function ? # ENI/Adaptec ATM 402 #ep* at pci? dev ? function ? # 3Com 3c59x/3c90x Ethernet 403 #fpa* at pci? dev ? function ? # DEC DEFPA FDDI 404 #fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 405 #le* at pci? dev ? function ? # PCnet-PCI Ethernet 406 #ne* at pci? dev ? function ? # NE2000-compatible Ethernet 407 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 408 #tlp* at pci? dev ? function ? # DECchip 21x4x and clones 409 410 # EISA network interfaces 411 #ep* at eisa? slot ? # 3Com 3c579 Ethernet 412 #fea* at eisa? slot ? # DEC DEFEA FDDI 413 414 # ISA Plug-and-Play network interfaces 415 #ep* at isapnp? # 3Com 3c509 Ethernet 416 #ne* at isapnp? # NE2000-compatible Ethernet 417 418 # PCMCIA network interfaces 419 ep* at pcmcia? function ? # 3Com 3c589 and 3c562 Ethernet 420 mbe* at pcmcia? function ? # MB8696x based Ethernet 421 ne* at pcmcia? function ? # NE2000-compatible Ethernet 422 sm* at pcmcia? function ? # Megahertz Ethernet 423 424 # ISA network interfaces 425 ate0 at isa? port 0x2a0 irq ? # AT1700 426 ec0 at isa? port 0x250 iomem 0xd8000 irq 9 # 3Com 3c503 Ethernet 427 #eg0 at isa? port 0x280 irq 9 # 3c505 Ethernet cards 428 #el0 at isa? port 0x300 irq 9 # 3c501 Ethernet cards 429 ep0 at isa? port ? irq ? # 3c509 Ethernet cards 430 #ef0 at isa? port 0x360 iomem 0xd0000 irq 7 # 3c507 431 ai0 at isa? port 0x360 iomem 0xd0000 irq 7 # StarLAN 432 fmv0 at isa? port 0x2a0 irq ? # FMV-180 series 433 ix0 at isa? port 0x300 irq 10 # EtherExpress/16 434 iy0 at isa? port 0x360 irq ? # EtherExpress PRO 10 ISA 435 lc0 at isa? port 0x320 iomem ? irq ? # DEC EtherWORKS III (LEMAC) 436 #depca0 at isa? port 0x300 iomem 0xc8000 iosiz 0x8000 irq 5 # DEPCA 437 #le* at depca? 438 #nele0 at isa? port 0x320 irq 9 drq 7 # NE2100 439 #le* at nele? 440 #bicc0 at isa? port 0x320 irq 10 drq 7 # BICC IsoLan 441 #le* at bicc? 442 ne0 at isa? port 0x280 irq 9 # NE[12]000 Ethernet cards 443 ne1 at isa? port 0x300 irq 10 444 sm0 at isa? port 0x300 irq 10 # SMC91C9x Ethernet 445 we0 at isa? port 0x280 iomem 0xd0000 irq 9 # WD/SMC Ethernet 446 we1 at isa? port 0x300 iomem 0xcc000 irq 10 447 448 # MII bus support 449 #mii* at tl? 450 451 # MII PHY network interfaces 452 #tlphy* at mii? dev ? # ThunderLAN PHYs 453 #nsphy* at mii? dev ? # NS and compatible PHYs 454 #ukphy* at mii? phy ? # generic unknown PHYs 455 456 457 # Audio Devices 458 459 # ISA Plug-and-Play audio devices 460 #guspnp* at isapnp? # Gravis Ultra Sound PnP audio 461 #sb* at isapnp? # SoundBlaster-compatible audio 462 463 # ISA audio devices 464 #gus0 at isa? port 0x220 irq 7 drq 1 drq2 6 # Gravis Ultra Sound 465 #pas0 at isa? port 0x220 irq 7 drq 1 # ProAudio Spectrum 466 #sb0 at isa? port 0x220 irq 7 drq 1 drq2 5 # SoundBlaster 467 #wss0 at isa? port 0x530 irq 10 drq 0 drq2 1 # Windows Sound System 468 469 # Audio support 470 #audio* at audiobus? 471 472 # The spkr driver provides a simple tone interface to the built in speaker. 473 #spkr* at pcppi? # PC speaker 474 #spkr* at audio? # PC speaker (synthesized) 475 476 477 # Joysticks 478 479 # ISA Plug-and-Play joysticks 480 #joy* at isapnp? # Game ports (usually on audio cards) 481 482 # ISA joysticks. Probe is a little strange; add only if you have one. 483 #joy0 at isa? port 0x201 484 485 486 # Miscellaneous Devices 487 488 # Planetconnect Satellite receiver driver. 489 #satlink0 at isa? port 0x300 drq 1 490 491 492 # Pull in optional local configuration 493 cinclude "arch/i386/conf/INSTALL.local" 494 495 496 # Pseudo-Devices 497 498 # disk/mass storage pseudo-devices 499 #pseudo-device ccd # concatenated/striped disk devices 500 #pseudo-device fss # file system snapshot device 501 pseudo-device md # memory disk device (ramdisk) 502 #pseudo-device vnd # disk-like interface to files 503 504 # network pseudo-devices 505 #pseudo-device bpfilter # Berkeley packet filter 506 #pseudo-device ipfilter # IP filter (firewall) and NAT 507 pseudo-device loop # network loopback 508 #pseudo-device ppp # Point-to-Point Protocol 509 #pseudo-device sl # Serial Line IP 510 #pseudo-device strip # Starmode Radio IP (Metricom) 511 #pseudo-device tun # network tunneling over tty 512 513 # miscellaneous pseudo-devices 514 pseudo-device pty # pseudo-terminals 515 options NO_DEV_PTM 516 #options RND_COM # use "com" randomness as well (BROKEN) 517
Indexes created Mon Oct 13 05:10:05 GMT 2025