GENERIC_TINY revision 1.22.2.11
1 # $NetBSD: GENERIC_TINY,v 1.22.2.11 2002/05/03 19:12:55 sommerfeld Exp $ 2 # 3 # GENERIC_TINY -- suitable default for 4M machines 4 # No EISA, PCI, or SCSI. 5 # 6 7 include "arch/i386/conf/std.i386" 8 9 #options INCLUDE_CONFIG_FILE # embed config file in kernel binary 10 11 makeoptions COPTS="-Os" 12 13 maxusers 8 # estimated number of users 14 15 # CPU support. At least one is REQUIRED. 16 options I386_CPU 17 options I486_CPU 18 options I586_CPU 19 options I686_CPU 20 21 # CPU-related options. 22 options MATH_EMULATE # floating point emulation 23 #options VM86 # virtual 8086 emulation 24 #options USER_LDT # user-settable LDT; used by WINE 25 # eliminate delay no-ops in I/O; recommended on all but very old machines 26 #options DUMMY_NOPS 27 28 # Misc. i386-specific options 29 #options XSERVER # X server support in console drivers 30 31 # This option allows you to force a serial console at the specified 32 # I/O address. see console(4) for details. 33 #options CONSDEVNAME="\"com\"" 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 # Standard system options 44 45 #options UCONSOLE # users can use TIOCCONS (for xconsole) 46 options INSECURE # disable kernel security levels 47 48 options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT 49 #options NTP # NTP phase/frequency locked loop 50 51 #options KTRACE # system call tracing via ktrace(1) 52 53 #options SYSVMSG # System V-like message queues 54 #options SYSVSEM # System V-like semaphores 55 #options SYSVSHM # System V-like memory sharing 56 #options SHMMAXPGS=1024 # 1024 pages is the default 57 58 options NMBCLUSTERS=256 59 60 #options LKM # loadable kernel modules 61 62 #options USERCONF # userconf(4) support 63 options PIPE_SOCKETPAIR # smaller, but slower pipe(2) 64 65 # Diagnostic/debugging support options 66 #options DIAGNOSTIC # expensive kernel consistency checks 67 #options DEBUG # expensive debugging checks/support 68 #options KMEMSTATS # kernel memory statistics (vmstat -m) 69 #options DDB # in-kernel debugger 70 #options DDB_HISTORY_SIZE=512 # enable history editing in DDB 71 #options KGDB # remote debugger 72 #options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600 73 #makeoptions DEBUG="-g" # compile full symbol table 74 75 # Compatibility options 76 #options COMPAT_NOMID # compatibility with 386BSD, BSDI, NetBSD 0.8, 77 #options COMPAT_09 # NetBSD 0.9, 78 #options COMPAT_10 # NetBSD 1.0, 79 #options COMPAT_11 # NetBSD 1.1, 80 options COMPAT_12 # NetBSD 1.2, 81 options COMPAT_13 # NetBSD 1.3, 82 options COMPAT_14 # NetBSD 1.4, 83 #options COMPAT_43 # and 4.3BSD 84 options COMPAT_386BSD_MBRPART # recognize old partition ID 85 #options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended. 86 87 #options COMPAT_SVR4 # binary compatibility with SVR4 88 #options COMPAT_IBCS2 # binary compatibility with SCO and ISC 89 #options COMPAT_LINUX # binary compatibility with Linux 90 #options COMPAT_FREEBSD # binary compatibility with FreeBSD 91 92 # File systems 93 file-system FFS # UFS 94 #file-system EXT2FS # second extended file system (linux) 95 #file-system LFS # log-structured file system 96 #file-system MFS # memory file system 97 file-system NFS # Network File System client 98 file-system CD9660 # ISO 9660 + Rock Ridge file system 99 file-system MSDOSFS # MS-DOS file system 100 #file-system FDESC # /dev/fd 101 file-system KERNFS # /kern 102 #file-system NULLFS # loopback file system 103 #file-system PORTAL # portal filesystem (still experimental) 104 #file-system PROCFS # /proc 105 #file-system UMAPFS # NULLFS + uid and gid remapping 106 #file-system UNION # union file system 107 108 # File system options 109 #options QUOTA # UFS quotas 110 #options FFS_EI # FFS Endian Independant support 111 #options NFSSERVER # Network File System server 112 #options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 113 # immutable) behave as system flags. 114 options VNODE_OP_NOINLINE # don't inline vnode op calls 115 116 # Networking options 117 #options GATEWAY # packet forwarding 118 options INET # IP + ICMP + TCP + UDP 119 #options MROUTING # IP multicast routing 120 #options NS # XNS 121 #options NSIP # XNS tunneling over IP 122 #options ISO,TPIP # OSI 123 #options EON # OSI tunneling over IP 124 #options CCITT,LLC,HDLC # X.25 125 #options NETATALK # AppleTalk networking protocols 126 #options PPP_BSDCOMP # BSD-Compress compression support for PPP 127 #options PPP_DEFLATE # Deflate compression support for PPP 128 #options PPP_FILTER # Active filter support for PPP (requires bpf) 129 #options PFIL_HOOKS # pfil(9) packet filter hooks 130 #options IPFILTER_LOG # ipmon(8) log support 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 #options USBVERBOSE # verbose USB device autoconfig messages 141 142 #options NFS_BOOT_BOOTP,NFS_BOOT_BOOTPARAM 143 144 # Kernel root file system and dump configuration. 145 config netbsd root on ? type ? 146 #config netbsd root on sd0a type ffs 147 #config netbsd root on ? type nfs 148 149 # 150 # wscons options 151 # 152 # builtin terminal emulations 153 #options WSEMUL_SUN # sun terminal emulation 154 options WSEMUL_VT100 # VT100 / VT220 emulation 155 # different kernel output - see dev/wscons/wsdisplayvar.h 156 options WS_KERNEL_FG=WSCOL_GREEN 157 #options WS_KERNEL_BG=WSCOL_BLACK 158 # compatibility to other console drivers 159 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls 160 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls 161 options WSDISPLAY_COMPAT_USL # VT handling 162 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes 163 # see dev/pckbc/wskbdmap_mfii.c for implemented layouts 164 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" 165 # allocate a number of virtual screens at autoconfiguration time 166 #options WSDISPLAY_DEFAULTSCREENS=4 167 # use a large software cursor that doesn't blink 168 options PCDISPLAY_SOFTCURSOR 169 170 # 171 # Device configuration 172 # 173 174 mainbus0 at root 175 176 cpu0 at mainbus0 177 178 #apm0 at mainbus0 # Advanced power management 179 180 181 # Basic Bus Support 182 183 # PCI bus support 184 #pci* at mainbus? bus ? 185 #pci* at pchb? bus ? 186 #pci* at ppb? bus ? 187 188 # PCI bridges 189 #pchb* at pci? dev ? function ? # PCI-Host bridges 190 #pceb* at pci? dev ? function ? # PCI-EISA bridges 191 #pcib* at pci? dev ? function ? # PCI-ISA bridges 192 #ppb* at pci? dev ? function ? # PCI-PCI bridges 193 # XXX 'puc's aren't really bridges, but there's no better place for them here 194 #puc* at pci? dev ? function ? # PCI "universal" comm. cards 195 196 # EISA bus support 197 #eisa0 at mainbus? 198 #eisa0 at pceb? 199 200 # ISA bus support 201 isa0 at mainbus? 202 #isa0 at pceb? 203 #isa0 at pcib? 204 205 # PCMCIA bus support 206 pcmcia* at pcic? controller ? socket ? 207 208 # ISA PCMCIA controllers 209 pcic0 at isa? port 0x3e0 iomem 0xd0000 iosiz 0x4000 210 pcic1 at isa? port 0x3e2 iomem 0xd4000 iosiz 0x4000 211 212 # ISA Plug-and-Play bus support 213 #isapnp0 at isa? 214 215 # ISA Plug-and-Play PCMCIA controllers 216 #pcic* at isapnp? 217 218 # Coprocessor Support 219 220 # Math Coprocessor support 221 npx0 at isa? port 0xf0 irq 13 # x86 math coprocessor 222 223 # Console Devices 224 225 # ISA console 226 #pc0 at isa? port 0x60 irq 1 # pccons generic PC console driver 227 228 # wscons 229 pckbc0 at isa? # pc keyboard controller 230 pckbd* at pckbc? # PC keyboard 231 #pms* at pckbc? # PS/2 mouse for wsmouse 232 vga0 at isa? 233 #vga* at pci? dev ? function ? 234 pcdisplay0 at isa? # CGA, MDA, EGA, HGA 235 wsdisplay* at vga? console ? 236 wsdisplay* at pcdisplay? console ? 237 wskbd* at pckbd? console ? 238 #wsmouse* at pms? mux 0 239 240 241 #pcppi0 at isa? 242 #sysbeep0 at pcppi? 243 244 # Serial Devices 245 246 # PCI serial interfaces 247 #com* at puc? port ? # 16x50s on "universal" comm boards 248 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 249 250 # ISA Plug-and-Play serial interfaces 251 #com* at isapnp? # Modems and serial boards 252 253 # PCMCIA serial interfaces 254 com* at pcmcia? function ? # Modems and serial cards 255 256 # ISA serial interfaces 257 #options COM_HAYESP # adds Hayes ESP serial board support 258 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 259 com1 at isa? port 0x2f8 irq 3 260 com2 at isa? port 0x3e8 irq 5 261 #com3 at isa? port 0x2e8 irq 9 262 #ast0 at isa? port 0x1a0 irq 5 # AST 4-port serial cards 263 #com* at ast? slave ? 264 #boca0 at isa? port 0x100 irq 5 # BOCA 8-port serial cards 265 #com* at boca? slave ? 266 #rtfps0 at isa? port 0x1230 irq 10 # RT 4-port serial cards 267 #com* at rtfps? slave ? 268 #cy0 at isa? iomem 0xd4000 irq 12 # Cyclades serial cards 269 270 271 # Parallel Printer Interfaces 272 273 # PCI parallel printer interfaces 274 #lpt* at puc? port ? # || ports on "universal" comm boards 275 276 # ISA parallel printer interfaces 277 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 278 #lpt1 at isa? port 0x278 279 #lpt2 at isa? port 0x3bc 280 281 282 # SCSI Controllers and Devices 283 284 # PCI SCSI controllers 285 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI 286 #dpt* at pci? dev ? function ? # DPT SmartCache/SmartRAID 287 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 288 #isp* at pci? dev ? function ? # Qlogic ISP [12]0x0 SCSI/FibreChannel 289 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 290 #options SIOP_SYMLED # drive the act. LED in software 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 #sea0 at isa? iomem 0xc8000 irq 5 # Seagate/Future Domain SCSI 313 #uha0 at isa? port 0x330 irq ? drq ? # UltraStor [13]4f SCSI 314 #uha1 at isa? port 0x340 irq ? drq ? 315 #wds0 at isa? port 0x350 irq 15 drq 6 # WD7000 and TMC-7000 controllers 316 #wds1 at isa? port 0x358 irq 11 drq 5 317 318 # SCSI bus support 319 #scsibus* at aha? 320 #scsibus* at ahb? 321 #scsibus* at ahc? 322 #scsibus* at aic? 323 #scsibus* at bha? 324 #scsibus* at dpt? 325 #scsibus* at isp? 326 #scsibus* at sea? 327 #scsibus* at siop? 328 #scsibus* at uha? 329 #scsibus* at wds? 330 331 # SCSI devices 332 #sd* at scsibus? target ? lun ? # SCSI disk drives 333 #st* at scsibus? target ? lun ? # SCSI tape drives 334 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 335 #ch* at scsibus? target ? lun ? # SCSI autochangers 336 #ss* at scsibus? target ? lun ? # SCSI scanners 337 #uk* at scsibus? target ? lun ? # SCSI unknown 338 339 340 # IDE and related devices 341 342 # ISA Plug-and-Play IDE controllers 343 #wdc* at isapnp? 344 345 # PCMCIA IDE controllers 346 wdc* at pcmcia? function ? 347 348 # ISA IDE controllers 349 wdc0 at isa? port 0x1f0 irq 14 # ST506, ESDI, and IDE controllers 350 wdc1 at isa? port 0x170 irq 15 351 352 # IDE drives 353 wd* at wdc? drive ? # the drives themselves 354 355 # ATAPI bus support 356 atapibus* at wdc? 357 358 # ATAPI devices 359 cd* at atapibus? drive ? # ATAPI CD-ROM drives 360 sd* at atapibus? drive ? # ATAPI disk drives 361 362 363 # Miscellaneous mass storage devices 364 365 # ISA floppy 366 fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 367 #fdc1 at isa? port 0x370 irq ? drq ? 368 fd* at fdc? drive ? # the drives themselves 369 # some machines need you to do this instead of fd* 370 #fd0 at fdc0 drive 0 371 372 # ISA CD-ROM devices 373 #mcd0 at isa? port 0x300 irq 10 # Mitsumi CD-ROM drives 374 375 # ISA tape devices 376 # note: the wt driver conflicts unpleasantly with SMC boards at the 377 # same I/O address. The probe reprograms their EEPROMs. Don't 378 # uncomment it unless you are actually using it. 379 #wt0 at isa? port 0x308 irq 5 drq 1 # Archive and Wangtek QIC tape drives 380 381 382 # Network Interfaces 383 384 # PCI network interfaces 385 #en* at pci? dev ? function ? # ENI/Adaptec ATM 386 #ep* at pci? dev ? function ? # 3Com 3c59x/3c90x Ethernet 387 #epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet 388 #esh* at pci? dev ? function ? # Essential HIPPI card 389 #fpa* at pci? dev ? function ? # DEC DEFPA FDDI 390 #fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 391 #le* at pci? dev ? function ? # PCnet-PCI Ethernet 392 #ne* at pci? dev ? function ? # NE2000-compatible Ethernet 393 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 394 #tlp* at pci? dev ? function ? # DECchip 21x4x and clones 395 396 # EISA network interfaces 397 #ep* at eisa? slot ? # 3Com 3c579 Ethernet 398 #fea* at eisa? slot ? # DEC DEFEA FDDI 399 400 # ISA Plug-and-Play network interfaces 401 #ep* at isapnp? # 3Com 3c509 Ethernet 402 #ne* at isapnp? # NE2000-compatible Ethernet 403 404 # PCMCIA network interfaces 405 ep* at pcmcia? function ? # 3Com 3c589 and 3c562 Ethernet 406 mbe* at pcmcia? function ? # MB8696x based Ethernet 407 ne* at pcmcia? function ? # NE2000-compatible Ethernet 408 sm* at pcmcia? function ? # Megahertz Ethernet 409 410 # ISA network interfaces 411 ate0 at isa? port 0x2a0 irq ? # AT1700 412 ec0 at isa? port 0x250 iomem 0xd8000 irq 9 # 3Com 3c503 Ethernet 413 eg0 at isa? port 0x280 irq 9 # 3C505 ethernet cards 414 el0 at isa? port 0x300 irq 9 # 3C501 ethernet cards 415 ep0 at isa? port ? irq ? # 3C509 ethernet cards 416 ef0 at isa? port 0x360 iomem 0xd0000 irq 7 # 3C507 417 ai0 at isa? port 0x360 iomem 0xd0000 irq 7 # StarLAN 418 fmv0 at isa? port 0x2a0 irq ? # FMV-180 series 419 ix0 at isa? port 0x300 irq 10 # EtherExpress/16 420 iy0 at isa? port 0x360 irq ? # EtherExpress PRO 10 ISA 421 lc0 at isa? port 0x320 iomem ? irq ? # DEC EtherWORKS III (LEMAC) 422 #depca0 at isa? port 0x300 iomem 0xc8000 iosiz 0x8000 irq 5 # DEPCA 423 #le* at depca? 424 nele0 at isa? port 0x320 irq 9 drq 7 # NE2100 425 le* at nele? 426 bicc0 at isa? port 0x320 irq 10 drq 7 # BICC IsoLan 427 le* at bicc? 428 ne0 at isa? port 0x280 irq 9 # NE[12]000 ethernet cards 429 ne1 at isa? port 0x300 irq 10 430 sm0 at isa? port 0x300 irq 10 # SMC91C9x Ethernet 431 we0 at isa? port 0x280 iomem 0xd0000 irq 9 # WD/SMC Ethernet 432 we1 at isa? port 0x300 iomem 0xcc000 irq 10 433 434 # MII bus support 435 #mii* at tl? 436 437 # MII PHY network interfaces 438 #tlphy* at mii? dev ? # ThunderLAN PHYs 439 #nsphy* at mii? dev ? # NS and compatible PHYs 440 #ukphy* at mii? phy ? # generic unknown PHYs 441 442 443 # USB Controller and Devices 444 445 # PCI USB controllers 446 #uhci* at pci? # Universal Host Controller (Intel) 447 #ohci* at pci? # Open Host Controller 448 449 # USB bus support 450 #usb* at uhci? 451 #usb* at ohci? 452 453 # USB Hubs 454 #uhub* at usb? 455 #uhub* at uhub? port ? 456 457 # USB Mice 458 #ums* at uhub? port ? 459 460 # USB Keyboards 461 #ukbd* at uhub? port ? 462 463 # USB Generic HID devices 464 #uhid* at uhub? port ? 465 466 # USB Printer 467 #ulpt* at uhub? port ? 468 469 # USB Mass Storage 470 #umass* at uhub? port ? configuration ? interface ? 471 #atapibus* at umass? channel ? 472 #scsibus* at umass? channel ? 473 474 # USB Ethernet adapters 475 #aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters 476 #cue* at uhub? port ? # CATC USB-EL1201A based adapters 477 #kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters 478 479 # Y@P firmware loader 480 #uyap* at uhub? port ? 481 482 # USB Generic driver 483 #ugen* at uhub? port ? 484 485 # Audio Devices 486 487 # PCI audio devices 488 #eap* at pci? dev ? function ? # Ensoniq AudioPCI 489 490 # ISA Plug-and-Play audio devices 491 #guspnp* at isapnp? # Gravis Ultra Sound PnP audio 492 #sb* at isapnp? # SoundBlaster-compatible audio 493 #ym* at isapnp? # Yamaha OPL3-SA3 audio 494 495 # ISA audio devices 496 #aria0 at isa? port 0x290 irq 10 # Aria 497 #gus0 at isa? port 0x220 irq 7 drq 1 drq2 6 # Gravis Ultra Sound 498 #pas0 at isa? port 0x220 irq 7 drq 1 # ProAudio Spectrum 499 #pss0 at isa? port 0x220 irq 7 drq 6 # Personal Sound System 500 #sp0 at pss0 port 0x530 irq 10 drq 0 # sound port driver 501 #sb0 at isa? port 0x220 irq 5 drq 1 drq2 5 # SoundBlaster 502 #wss0 at isa? port 0x530 irq 10 drq 0 drq2 1 # Windows Sound System 503 504 # Audio support 505 #audio* at aria? 506 #audio* at eap? 507 #audio* at gus? 508 #audio* at guspnp? 509 #audio* at pas? 510 #audio* at sb? 511 #audio* at sp? 512 #audio* at wss? 513 #audio* at ym? 514 515 # The spkr driver provides a simple tone interface to the built in speaker. 516 #spkr0 at pcppi? # PC speaker 517 518 519 # Mice 520 521 # ISA busmice 522 #olms0 at isa? port 0x23c irq 5 # Logitech bus mouse 523 #olms1 at isa? port 0x238 irq 5 524 #omms0 at isa? port 0x23c irq 5 # Microsoft InPort mouse 525 #omms1 at isa? port 0x238 irq 5 526 527 528 # Joysticks 529 530 # ISA Plug-and-Play joysticks 531 #joy* at isapnp? # Game ports (usually on audio cards) 532 533 # ISA joysticks. Probe is a little strange; add only if you have one. 534 #joy0 at isa? port 0x201 535 536 537 # Miscellaneous Devices 538 539 # Planetconnect Satellite receiver driver. 540 #satlink0 at isa? port 0x300 drq 1 541 542 543 # Pull in optional local configuration 544 include "arch/i386/conf/GENERIC.local" 545 546 547 # Pseudo-Devices 548 549 # disk/mass storage pseudo-devices 550 #pseudo-device ccd 4 # concatenated/striped disk devices 551 #pseudo-device md 1 # memory disk device (ramdisk) 552 pseudo-device vnd 4 # disk-like interface to files 553 554 # network pseudo-devices 555 pseudo-device bpfilter 8 # Berkeley packet filter 556 pseudo-device bridge # simple inter-network bridging 557 pseudo-device ipfilter # IP filter (firewall) and NAT 558 pseudo-device loop # network loopback 559 pseudo-device ppp 2 # Point-to-Point Protocol 560 pseudo-device pppoe # PPP over Ethernet (RFC 2516) 561 #pseudo-device sl 2 # Serial Line IP 562 #pseudo-device strip 2 # Starmode Radio IP (Metricom) 563 pseudo-device tun 2 # network tunneling over tty 564 565 # miscellaneous pseudo-devices 566 pseudo-device pty # pseudo-terminals 567 #pseudo-device tb 1 # tablet line discipline 568 pseudo-device rnd # /dev/random and in-kernel generator 569 #options RND_COM # use "com" randomness as well (BROKEN) 570
Indexes created Sat Oct 25 01:09:55 GMT 2025