1 # $NetBSD: GENERIC,v 1.187 2023/02/12 14:50:38 abs 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 FFS_EI # FFS Endian Independent support 78 #options FFS_NO_SNAPSHOT # No FFS snapshot support 79 options QUOTA # legacy UFS quotas 80 options QUOTA2 # new, in-filesystem UFS quotas 81 #options UFS_DIRHASH # UFS Large Directory Hashing 82 options UFS_EXTATTR # Extended attribute support for UFS1 83 options WAPBL # File system journaling support 84 options NFSSERVER # Network File System server 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 DDB # in-kernel debugger 168 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB 169 #makeoptions DEBUG="-g" # compile full symbol table 170 #makeoptions COPY_SYMTAB=1 171 172 config netbsd root on ? type ? 173 174 # The main bus device 175 mainbus0 at root 176 177 # The boot CPU 178 cpu0 at mainbus? 179 180 # Core logic 181 footbridge0 at mainbus? 182 183 # footbridge uart 184 fcom0 at footbridge? 185 186 # system clock via footbridge 187 #clock* at footbridge? 188 189 # PCI bus support 190 # PCI bus via footbridge 191 pci0 at footbridge? # PCI bus 192 193 pci* at ppb? bus ? 194 195 # PCI bridges 196 ppb* at pci? dev ? function ? # PCI-PCI bridges 197 # XXX 'puc's aren't really bridges, but there's no better place for them here 198 #puc* at pci? dev ? function ? # PCI "universal" comm. cards 199 200 # Cryptographic Devices 201 202 # PCI cryptographic devices 203 #hifn* at pci? dev ? function ? # Hifn 7755/7811/795x 204 #ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x 205 206 207 # PCI serial interfaces 208 #com* at puc? port ? # 16x50s on "universal" comm boards 209 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 210 211 # PCI parallel printer interfaces 212 #lpt* at puc? port ? # || ports on "universal" comm boards 213 214 # PCI SCSI Controllers and Buses 215 #adv* at pci? dev ? function ? # AdvanSys 1200[A,B], ULTRA SCSI 216 #scsibus* at adv? 217 #adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI 218 #scsibus* at adw? 219 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI controllers 220 #scsibus* at ahc? 221 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 222 #scsibus* at bha? 223 #iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI 224 #scsibus* at iha? 225 #isp* at pci? dev ? function ? # Qlogic ISP 10x0 SCSI controllers 226 #scsibus* at isp? 227 #pcscp* at pci? dev ? function ? # AMD 53c974 PCscsi-PCI SCSI 228 #scsibus* at pcscp? 229 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 230 #scsibus* at siop? 231 #esiop* at pci? dev ? function ? # NCR 53c875 SCSI and newer 232 #scsibus* at esiop? 233 234 # SCSI devices 235 #sd* at scsibus? target ? lun ? # SCSI disk drives 236 #st* at scsibus? target ? lun ? # SCSI tape drives 237 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 238 #ch* at scsibus? target ? lun ? # SCSI auto-changers 239 #uk* at scsibus? target ? lun ? # SCSI unknown device 240 #ss* at scsibus? target ? lun ? # SCSI scanner 241 242 # PCI IDE Controllers and Devices 243 # PCI IDE controllers - see pciide(4) for supported hardware. 244 # The 0x0001 flag force the driver to use DMA, even if the driver doesn't know 245 # how to set up DMA modes for this chip. This may work, or may cause 246 # a machine hang with some controllers. 247 #pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver 248 #acardide* at pci? dev ? function ? # Acard IDE controllers 249 aceride* at pci? dev ? function ? # Acer Lab IDE controllers 250 #artsata* at pci? dev ? function ? # Intel i31244 SATA controller 251 #cmdide* at pci? dev ? function ? # CMD tech IDE controllers 252 #cypide* at pci? dev ? function ? # Cypress IDE controllers 253 #hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers 254 #optiide* at pci? dev ? function ? # Opti IDE controllers 255 #pdcide* at pci? dev ? function ? # Promise IDE controllers 256 #pdcsata* at pci? dev ? function ? # Promise SATA150 controllers 257 #satalink* at pci? dev ? function ? # SiI SATALink controllers 258 #siside* at pci? dev ? function ? # SiS IDE controllers 259 #slide* at pci? dev ? function ? # Symphony Labs IDE controllers 260 #viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers 261 262 # ATA (IDE) bus support 263 atabus* at ata? 264 265 # IDE drives 266 # Flags are used only with controllers that support DMA operations 267 # and mode settings (e.g. some pciide controllers) 268 # The lowest order four bits (rightmost digit) of the flags define the PIO 269 # mode to use, the next set of four bits the DMA mode and the third set the 270 # UltraDMA mode. For each set of four bits, the 3 lower bits define the mode 271 # to use, and the last bit must be 1 for this setting to be used. 272 # For DMA and UDMA, 0xf (1111) means 'disable'. 273 # 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'. 274 # (0xc=1100, 0xa=1010, 0xf=1111) 275 # 0x0000 means "use whatever the drive claims to support". 276 wd* at atabus? drive ? flags 0x0000 # the drives themselves 277 278 # ATAPI bus support 279 atapibus* at atapi? 280 281 # ATAPI devices 282 cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives 283 sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives 284 uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown 285 286 # PCI network interfaces 287 ep* at pci? dev ? function ? # 3C590 ethernet cards 288 ex* at pci? dev ? function ? # 3Com 90x[B] 289 epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 290 fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 291 #pcn* at pci? dev ? function ? # PCnet-PCI Ethernet 292 ne* at pci? dev ? function ? # NE2000 compat ethernet 293 #ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial 294 sip* at pci? dev ? function ? # SiS 900 Ethernet 295 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 296 tlp* at pci? dev ? function ? # DECchip 21x4x and clones 297 vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet 298 rtk* at pci? dev ? function ? # Realtek 8129/8139 299 300 # MII/PHY support 301 acphy* at mii? phy ? # DAltima AC101 and AMD Am79c874 PHYs 302 amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs 303 bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs 304 brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs 305 dmphy* at mii? phy ? # Davicom DM9101 PHYs 306 exphy* at mii? phy ? # 3Com internal PHYs 307 glxtphy* at mii? phy ? # Level One LXT-1000 PHYs 308 gphyter* at mii? phy ? # NS83861 Gig-E PHY 309 icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x 310 inphy* at mii? phy ? # Intel 82555 PHYs 311 iophy* at mii? phy ? # Intel 82553 PHYs 312 lxtphy* at mii? phy ? # Level One LXT-970 PHYs 313 makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs 314 nsphy* at mii? phy ? # NS83840 PHYs 315 nsphyter* at mii? phy ? # NS83843 PHYs 316 pnaphy* at mii? phy ? # generic HomePNA PHYs 317 qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs 318 rgephy* at mii? phy ? # Realtek 8169S/8110S/8211 PHYs 319 rlphy* at mii? phy ? # Realtek 8139/8201L PHYs 320 sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs 321 tlphy* at mii? phy ? # ThunderLAN PHYs 322 tqphy* at mii? phy ? # TDK Semiconductor PHYs 323 ukphy* at mii? phy ? # generic unknown PHYs 324 urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs 325 326 # USB Controller and Devices 327 328 # PCI USB controllers 329 ohci* at pci? # Open Host Controller 330 331 # USB bus support 332 usb* at ohci? 333 334 # USB Hubs 335 uhub* at usb? 336 uhub* at uhub? port ? 337 338 # USB HID device 339 uhidev* at uhub? port ? configuration ? interface ? 340 341 # USB Mice 342 ums* at uhidev? reportid ? 343 wsmouse* at ums? 344 345 # USB Keyboards 346 ukbd* at uhidev? reportid ? 347 wskbd* at ukbd? console ? 348 349 # USB serial adapter 350 ucycom* at uhidev? reportid ? 351 352 # USB Generic HID devices 353 uhid* at uhidev? reportid ? 354 355 # USB Printer 356 ulpt* at uhub? port ? configuration ? interface ? 357 358 # USB Modem 359 umodem* at uhub? port ? configuration ? 360 ucom* at umodem? 361 362 # USB Mass Storage 363 umass* at uhub? port ? configuration ? interface ? 364 scsibus* at umass? channel ? 365 366 # USB audio 367 uaudio* at uhub? port ? configuration ? 368 audio* at uaudio? 369 370 # USB MIDI 371 umidi* at uhub? port ? configuration ? 372 midi* at umidi? 373 374 # USB Ethernet adapters 375 aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters 376 axe* at uhub? port ? # ASIX AX88172 based adapters 377 cue* at uhub? port ? # CATC USB-EL1201A based adapters 378 kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters 379 mue* at uhub? port ? # Microchip LAN75xx/LAN78xx based adapters 380 ure* at uhub? port ? # Realtek RTL8152/RTL8153 based adapters 381 url* at uhub? port ? # Realtek RTL8150L based adapters 382 udav* at uhub? port ? # Davicom DM9601 based adapters 383 384 # Prolific PL2301/PL2302 host-to-host adapter 385 upl* at uhub? port ? 386 387 # Serial adapters 388 # FTDI FT8U100AX serial adapter 389 uftdi* at uhub? port ? 390 ucom* at uftdi? portno ? 391 392 uplcom* at uhub? port ? # I/O DATA USB-RSAQ2 serial adapter 393 ucom* at uplcom? portno ? 394 395 umct* at uhub? port ? # MCT USB-RS232 serial adapter 396 ucom* at umct? portno ? 397 398 # USB Handspring Visor 399 uvisor* at uhub? port ? 400 ucom* at uvisor? 401 402 # Kyocera AIR-EDGE PHONE 403 ukyopon* at uhub? port ? 404 ucom* at ukyopon? portno ? 405 406 # USB scanners that use SCSI emulation, e.g., HP5300 407 usscanner* at uhub? port ? 408 scsibus* at usscanner? channel ? 409 410 # USB Generic driver 411 ugen* at uhub? port ? 412 413 # Audio Devices 414 415 # PCI audio devices 416 #eap* at pci? dev ? function ? # Ensoniq AudioPCI 417 #sv* at pci? dev ? function ? # S3 SonicVibes 418 419 # Audio support 420 #audio* at eap? 421 #audio* at sv? 422 423 vga* at pci? 424 wsdisplay* at vga? console ? 425 426 # ISA bus bridging 427 428 pcib* at pci? dev ? function ? # PCI-ISA bridge 429 isa* at pcib? # ISA bus 430 431 # ISA Plug-and-Play bus support 432 isapnp0 at isa? 433 434 # wscons 435 pckbc0 at isa? # pc keyboard controller 436 pckbd* at pckbc? # PC keyboard 437 pms* at pckbc? # PS/2 mouse for wsmouse 438 wskbd* at pckbd? console ? 439 wsmouse* at pms? 440 441 attimer0 at isa? 442 pcppi0 at isa? 443 sysbeep0 at pcppi? 444 445 # ISA Plug-and-Play serial interfaces 446 com* at isapnp? # Modems and serial boards 447 448 # ISA Plug-and-Play network interfaces 449 ep* at isapnp? # 3Com 3c509 Ethernet 450 fmv* at isapnp? # Fujitsu FMV-183 451 ne* at isapnp? # NE2000-compatible 452 453 # ISA serial interfaces 454 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 455 com1 at isa? port 0x2f8 irq 3 456 #com2 at isa? port 0x3e8 irq 9 457 #com3 at isa? port 0x2e8 irq 10 458 459 # ISA parallel printer interfaces 460 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 461 lpt1 at isa? port 0x278 irq 5 462 #lpt2 at isa? port 0x3bc 463 464 # ISA floppy 465 #fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 466 #fdc1 at isa? port 0x370 irq ? drq ? 467 #fd* at fdc? drive ? # the drives themselves 468 469 # ISA network interface 470 #ne0 at isa? port 0x280 irq 9 471 #ne1 at isa? port 0x300 irq 10 472 #ep* at isa? port ? irq ? 473 474 # The spkr driver provides a simple tone interface to the built in speaker. 475 spkr* at pcppi? # PC speaker 476 spkr* at audio? # PC speaker (synthesized) 477 478 ds1687rtc0 at isa? port 0x72 # Dallas 1687 RTC 479 480 # ISA Plug-and-Play audio devices 481 ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio 482 sb* at isapnp? # SoundBlaster-compatible audio 483 wss* at isapnp? # Windows Sound System 484 485 # OPL[23] FM syntheziers 486 opl* at ess? 487 opl* at sb? 488 489 # Audio support 490 audio* at ess? 491 audio* at sb? 492 audio* at wss? 493 494 # MPU 401 UARTs 495 #mpu* at sb? 496 497 # MIDI support 498 midi* at pcppi? # MIDI interface to the PC speaker 499 midi* at sb? # SB MPU401 port 500 midi* at opl? # OPL FM synth 501 #midi* at mpu? # MPU 401 502 503 # Joysticks 504 505 # ISA Plug-and-Play joysticks 506 joy* at isapnp? # Game ports (usually on audio cards) 507 508 # ISA joysticks. Probe is a little strange; add only if you have one. 509 #joy0 at isa? port 0x201 510 511 # Pseudo-Devices 512 513 #pseudo-device crypto # /dev/crypto device 514 #pseudo-device swcrypto # software crypto implementation 515 516 # disk/mass storage pseudo-devices 517 pseudo-device ccd # concatenated/striped disk devices 518 pseudo-device fss # file system snapshot device 519 #pseudo-device cgd # cryptographic disk devices 520 pseudo-device md # memory disk device (ramdisk) 521 pseudo-device vnd # disk-like interface to files 522 #options VND_COMPRESSION # compressed vnd(4) 523 pseudo-device putter # for puffs and pud 524 525 # network pseudo-devices 526 pseudo-device bpfilter # Berkeley packet filter 527 pseudo-device carp # Common Address Redundancy Protocol 528 #pseudo-device npf # NPF packet filter 529 pseudo-device loop # network loopback 530 pseudo-device ppp # Point-to-Point Protocol 531 pseudo-device pppoe # PPP over Ethernet (RFC 2516) 532 #pseudo-device sl # Serial Line IP 533 pseudo-device tun # network tunneling over tty 534 pseudo-device tap # virtual Ethernet 535 pseudo-device gre # generic L3 over IP tunnel 536 pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933) 537 #pseudo-device faith # IPv[46] tcp relay translation i/f 538 pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation 539 pseudo-device vlan # IEEE 802.1q encapsulation 540 pseudo-device bridge # simple inter-network bridging 541 pseudo-device vether # Virtual Ethernet for bridge 542 pseudo-device agr # IEEE 802.3ad link aggregation 543 544 # 545 # accept filters 546 pseudo-device accf_data # "dataready" accept filter 547 pseudo-device accf_http # "httpready" accept filter 548 549 # miscellaneous pseudo-devices 550 pseudo-device pty # pseudo-terminals 551 pseudo-device sequencer # MIDI sequencer 552 #options RND_COM # use "com" randomness as well (BROKEN) 553 pseudo-device clockctl # user control of clock subsystem 554 pseudo-device drvctl # user control of drive subsystem 555 pseudo-device swwdog # software watchdog timer -- swwdog(4) 556 557 # a pseudo device needed for Coda # also needs CODA (above) 558 #pseudo-device vcoda # coda minicache <-> venus comm. 559 560 # mouse & keyboard multiplexor pseudo-devices 561 pseudo-device wsmux 562 pseudo-device wsfont 563 pseudo-device ksyms # /dev/ksyms 564 565 include "dev/veriexec.config" 566 567 # Pull in optional local configuration - always at end 568 cinclude "arch/cats/conf/GENERIC.local" 569
Indexes created Sat Sep 20 22:09:52 GMT 2025