INSTALL_TINY revision 1.137.4.1
1 # $NetBSD: INSTALL_TINY,v 1.137.4.1 2013/08/28 23:59:17 rmind 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 # expensive kernel consistency checks 60 #options DEBUG # expensive debugging checks/support 61 #options KMEMSTATS # kernel memory statistics (vmstat -m) 62 #options DDB # in-kernel debugger 63 #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' 64 #options DDB_HISTORY_SIZE=512 # enable history editing in DDB 65 #options KGDB # remote debugger 66 #options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600 67 #makeoptions DEBUG="-g" # compile full symbol table 68 69 # Compatibility options 70 #options COMPAT_NOMID # NetBSD 0.8, 386BSD, and BSDI 71 #options COMPAT_09 # NetBSD 0.9 72 #options COMPAT_10 # NetBSD 1.0 73 #options COMPAT_11 # NetBSD 1.1 74 #options COMPAT_12 # NetBSD 1.2, 386BSD, and BSDI 75 #options COMPAT_13 # NetBSD 1.3, 386BSD, and BSDI 76 #options COMPAT_14 # NetBSD 1.4 77 #options COMPAT_15 # NetBSD 1.5 78 #options COMPAT_16 # NetBSD 1.6 79 #options COMPAT_20 # NetBSD 2.0 80 #options COMPAT_30 # NetBSD 3.0 compatibility. 81 #options COMPAT_40 # NetBSD 4.0 82 #options COMPAT_43 # 4.3BSD, 386BSD, and BSDI 83 #options COMPAT_386BSD_MBRPART # recognize old partition ID 84 #options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended. 85 86 #options COMPAT_SVR4 # binary compatibility with SVR4 87 #options COMPAT_IBCS2 # binary compatibility with SCO and ISC 88 #options COMPAT_LINUX # binary compatibility with Linux 89 #options COMPAT_FREEBSD # binary compatibility with FreeBSD 90 options COMPAT_BSDPTY # /dev/[pt]ty?? ptys. 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 PROCFS # /proc 104 #file-system UMAPFS # NULLFS + uid and gid remapping 105 #file-system UNION # union file system 106 #file-system PTYFS # /dev/pts/N support 107 #file-system TMPFS # Efficient memory file-system 108 109 # Filesystem options 110 #options QUOTA # legacy UFS quotas 111 #options QUOTA2 # new, in-filesystem UFS quotas 112 #options NFSSERVER # Network File System server 113 options NFS_V2_ONLY # Exclude NFS3 code to save space 114 options FFS_NO_SNAPSHOT # No FFS snapshot support 115 #options EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and 116 # immutable) behave as system flags. 117 118 # Networking options 119 #options GATEWAY # packet forwarding 120 options INET # IP + ICMP + TCP + UDP 121 #options MROUTING # IP multicast routing 122 #options PIM # Protocol Independent Multicast 123 #options NETATALK # AppleTalk networking protocols 124 #options PPP_BSDCOMP # BSD-Compress compression support for PPP 125 #options PPP_DEFLATE # Deflate compression support for PPP 126 #options PPP_FILTER # Active filter support for PPP (requires bpf) 127 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG 128 129 # These options enable verbose messages for several subsystems. 130 # Warning, these may compile large string tables into the kernel! 131 #options EISAVERBOSE # verbose EISA device autoconfig messages 132 #options PCIVERBOSE # verbose PCI device autoconfig messages 133 #options PCI_CONFIG_DUMP # verbosely dump PCI config space 134 #options PCMCIAVERBOSE # verbose PCMCIA configuration messages 135 #options SCSIVERBOSE # human readable SCSI error messages 136 137 # Squeeze... 138 options NVNODE=50 139 options NBUF=20 140 options BUFPAGES=20 141 142 # Kernel root file system and dump configuration. 143 config netbsd root on ? type ? 144 #config netbsd root on sd0a type ffs 145 #config netbsd root on ? type nfs 146 147 # 148 # wscons options 149 # 150 # builtin terminal emulations 151 #options WSEMUL_SUN # sun terminal emulation 152 options WSEMUL_VT100 # VT100 / VT220 emulation 153 # customization of console and kernel output - see dev/wscons/wsdisplayvar.h 154 #options WSDISPLAY_CUSTOM_OUTPUT # color customization from wsconsctl(8) 155 #options WS_DEFAULT_FG=WSCOL_WHITE 156 #options WS_DEFAULT_BG=WSCOL_BLACK 157 #options WS_DEFAULT_COLATTR="(0)" 158 #options WS_DEFAULT_MONOATTR="(0)" 159 options WS_KERNEL_FG=WSCOL_GREEN 160 #options WS_KERNEL_BG=WSCOL_BLACK 161 #options WS_KERNEL_COLATTR="" 162 #options WS_KERNEL_MONOATTR="" 163 # customization of console border color 164 #options WSDISPLAY_CUSTOM_BORDER # border customization from wsconsctl(8) 165 #options WSDISPLAY_BORDER_COLOR=WSCOL_BLUE # default color 166 # compatibility to other console drivers 167 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls 168 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls 169 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling 170 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes 171 # see dev/pckbport/wskbdmap_mfii.c for implemented layouts 172 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for pckbd driver 173 #options UKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for ukbd driver 174 # allocate a number of virtual screens at autoconfiguration time 175 #options WSDISPLAY_DEFAULTSCREENS=4 176 # use a large software cursor that doesn't blink 177 options PCDISPLAY_SOFTCURSOR 178 179 # 180 # Device configuration 181 # 182 183 #apm0 at mainbus0 # Advanced power management 184 185 186 # Basic Bus Support 187 188 # PCI bus support 189 #pci* at mainbus? bus ? 190 #pci* at pchb? bus ? 191 #pci* at ppb? bus ? 192 193 # PCI bridges 194 #pchb* at pci? dev ? function ? # PCI-Host bridges 195 #pceb* at pci? dev ? function ? # PCI-EISA bridges 196 #pcib* at pci? dev ? function ? # PCI-ISA 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 # As well as 5 and 7, avoid irq 4 and 3 because we do not probe com* here 202 options PCIC_ISA_INTR_ALLOC_MASK=0xff47 203 204 # PCMCIA bus support 205 pcmcia* at pcic? controller ? socket ? 206 #pcmcia* at tcic? controller ? socket ? 207 208 # ISA PCMCIA controllers 209 pcic0 at isa? port 0x3e0 iomem 0xd0000 iosiz 0x10000 210 pcic1 at isa? port 0x3e2 iomem 0xe0000 iosiz 0x4000 211 212 # EISA bus support 213 #eisa0 at mainbus? 214 #eisa0 at pceb? 215 216 # ISA bus support 217 isa0 at mainbus? 218 #isa0 at pceb? 219 #isa0 at pcib? 220 221 # ISA Plug-and-Play bus support 222 #isapnp0 at isa? 223 224 # Coprocessor Support 225 226 # Math Coprocessor support 227 npx0 at isa? port 0xf0 irq 13 # x86 math coprocessor 228 229 230 # Console Devices 231 232 # wscons 233 pckbc0 at isa? # PC keyboard controller 234 pckbd* at pckbc? # PC keyboard 235 pcdisplay0 at isa? # CGA, MDA, EGA, HGA 236 wsdisplay* at pcdisplay? console ? 237 wskbd* at pckbd? console ? 238 #wsmouse* at pms? mux 0 239 240 # Serial Devices 241 242 # PCI serial interfaces 243 #com* at puc? port ? # 16x50s on "universal" comm boards 244 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards 245 246 # ISA Plug-and-Play serial interfaces 247 #com* at isapnp? # Modems and serial boards 248 249 # PCMCIA serial interfaces 250 #com* at pcmcia? function ? # Modems and serial cards 251 252 # ISA serial interfaces 253 #options COM_HAYESP # adds Hayes ESP serial board support 254 #com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports 255 #com1 at isa? port 0x2f8 irq 3 256 #com2 at isa? port 0x3e8 irq 5 257 #com3 at isa? port 0x2e8 irq 9 258 #ast0 at isa? port 0x1a0 irq 5 # AST 4-port serial cards 259 #com* at ast? slave ? 260 #boca0 at isa? port 0x100 irq 5 # BOCA 8-port serial cards 261 #com* at boca? slave ? 262 #rtfps0 at isa? port 0x1230 irq 10 # RT 4-port serial cards 263 #com* at rtfps? slave ? 264 #cy0 at isa? iomem 0xd4000 irq 12 # Cyclades serial cards 265 266 267 # Parallel Printer Interfaces 268 269 # PCI parallel printer interfaces 270 #lpt* at puc? port ? # || ports on "universal" comm boards 271 272 # ISA parallel printer interfaces 273 #lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports 274 #lpt1 at isa? port 0x278 275 #lpt2 at isa? port 0x3bc 276 277 # I2O devices 278 #iop* at pci? dev ? function ? # I/O processor 279 #iopsp* at iop? tid ? # SCSI/FC-AL ports 280 #ld* at iop? tid ? # block devices 281 #dpti* at iop? tid 0 # DPT/Adaptec control interface 282 283 # SCSI Controllers and Devices 284 285 # PCI SCSI controllers 286 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI 287 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI 288 #dpt* at pci? dev ? function ? # DPT SmartCache/SmartRAID 289 #isp* at pci? dev ? function ? # Qlogic ISP [12]0x0 SCSI/FibreChannel 290 #mly* at pci? dev ? function ? # Mylex AcceleRAID and eXtremeRAID 291 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI 292 293 # EISA SCSI controllers 294 #ahb* at eisa? slot ? # Adaptec 174[02] SCSI 295 #ahc* at eisa? slot ? # Adaptec 274x, aic7770 SCSI 296 #bha* at eisa? slot ? # BusLogic 7xx SCSI 297 #dpt* at eisa? slot ? # DPT SmartCache/SmartRAID 298 #uha* at eisa? slot ? # UltraStor 24f SCSI 299 300 # PCMCIA SCSI controllers 301 #aic* at pcmcia? function ? # Adaptec APA-1460 SCSI 302 303 # ISA Plug-and-Play SCSI controllers 304 #aic* at isapnp? # Adaptec AHA-1520B 305 306 # ISA SCSI controllers 307 #aha0 at isa? port 0x330 irq ? drq ? # Adaptec 154[02] SCSI 308 #aha1 at isa? port 0x334 irq ? drq ? 309 #ahc0 at isa? port ? irq ? # Adaptec 284x SCSI 310 #aic0 at isa? port 0x340 irq 11 # Adaptec 152[02] SCSI 311 #bha0 at isa? port 0x330 irq ? drq ? # BusLogic [457]4X SCSI 312 #bha1 at isa? port 0x334 irq ? drq ? 313 # The "nca" and "dpt" probes might give false hits or hang your machine. 314 #dpt0 at isa? port 0x170 irq ? drq ? # DPT SmartCache/SmartRAID 315 #nca0 at isa? port 0x360 irq 15 # Port-mapped NCR 53C80 controller 316 #nca1 at isa? iomem 0xd8000 irq 5 # Memory-mapped controller (T128, etc.) 317 #sea0 at isa? iomem 0xc8000 irq 5 # Seagate/Future Domain SCSI 318 #uha0 at isa? port 0x330 irq ? drq ? # UltraStor [13]4f SCSI 319 #uha1 at isa? port 0x340 irq ? drq ? 320 #wds0 at isa? port 0x350 irq 15 drq 6 # WD7000 and TMC-7000 controllers 321 #wds1 at isa? port 0x358 irq 11 drq 5 322 323 # SCSI bus support 324 #scsibus* at scsi? 325 326 # SCSI devices 327 #sd* at scsibus? target ? lun ? # SCSI disk drives 328 #st* at scsibus? target ? lun ? # SCSI tape drives 329 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives 330 #ch* at scsibus? target ? lun ? # SCSI autochangers 331 #ss* at scsibus? target ? lun ? # SCSI scanners 332 #uk* at scsibus? target ? lun ? # SCSI unknown 333 334 335 # RAID controllers and devices 336 #aac* at pci? dev ? function ? # Adaptec AAC family 337 #cac* at eisa? slot ? # Compaq EISA array controllers 338 #cac* at pci? dev ? function ? # Compaq PCI array controllers 339 #ciss* at pci? dev ? function ? # HP Smart Array controllers 340 #icp* at pci? dev ? function ? # ICP-Vortex GDT & Intel RAID 341 #mlx* at pci? dev ? function ? # Mylex DAC960 & DEC SWXCR family 342 #mlx* at eisa? slot ? # Mylex DAC960 & DEC SWXCR family 343 #twe* at pci? dev ? function ? # 3ware Escalade RAID controllers 344 345 #ld* at aac? unit ? # logical disk devices 346 #ld* at cac? unit ? 347 #ld* at icp? unit ? 348 #ld* at twe? unit ? 349 #ld* at mlx? unit ? 350 351 #icpsp* at icp? unit ? # SCSI pass-through 352 353 354 # IDE and related devices 355 356 # PCMCIA IDE controllers 357 wdc* at pcmcia? function ? 358 359 # ST506, ESDI, and ISA IDE controllers 360 # Use flags 0x01 if you want to try to use 32bits data I/O (the driver will 361 # fall back to 16bits I/O if 32bits I/O are not functional). 362 # Some controllers pass the initial 32bit test, but will fail later. 363 wdc0 at isa? port 0x1f0 irq 14 flags 0x00 364 wdc1 at isa? port 0x170 irq 15 flags 0x00 365 366 # ATA (IDE) bus support 367 atabus* at ata? 368 369 # IDE drives 370 wd* at atabus? drive ? # the drives themselves 371 372 # ATAPI bus support 373 atapibus* at atapi? 374 375 # ATAPI devices 376 cd* at atapibus? drive ? # ATAPI CD-ROM drives 377 #sd* at atapibus? drive ? # ATAPI disk drives 378 379 380 # Miscellaneous mass storage devices 381 382 # ISA floppy 383 fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers 384 #fdc1 at isa? port 0x370 irq ? drq ? 385 fd* at fdc? drive ? # the drives themselves 386 # some machines need you to do this instead of fd* 387 #fd0 at fdc0 drive 0 388 389 # ISA CD-ROM devices 390 #mcd0 at isa? port 0x300 irq 10 # Mitsumi CD-ROM drives 391 392 # ISA tape devices 393 # note: the wt driver conflicts unpleasantly with ed devices at the 394 # same I/O address. The probe reprograms their EEPROMs. Don't 395 # uncomment it unless you are actually using it. 396 #wt0 at isa? port 0x308 irq 5 drq 1 # Archive and Wangtek QIC tape drives 397 398 399 # Network Interfaces 400 401 # PCI network interfaces 402 #en* at pci? dev ? function ? # ENI/Adaptec ATM 403 #ep* at pci? dev ? function ? # 3Com 3c59x/3c90x Ethernet 404 #fpa* at pci? dev ? function ? # DEC DEFPA FDDI 405 #fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B 406 #le* at pci? dev ? function ? # PCnet-PCI Ethernet 407 #ne* at pci? dev ? function ? # NE2000-compatible Ethernet 408 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet 409 #tlp* at pci? dev ? function ? # DECchip 21x4x and clones 410 411 # EISA network interfaces 412 #ep* at eisa? slot ? # 3Com 3c579 Ethernet 413 #fea* at eisa? slot ? # DEC DEFEA FDDI 414 415 # ISA Plug-and-Play network interfaces 416 #ep* at isapnp? # 3Com 3c509 Ethernet 417 #ne* at isapnp? # NE2000-compatible Ethernet 418 419 # PCMCIA network interfaces 420 ep* at pcmcia? function ? # 3Com 3c589 and 3c562 Ethernet 421 mbe* at pcmcia? function ? # MB8696x based Ethernet 422 ne* at pcmcia? function ? # NE2000-compatible Ethernet 423 sm* at pcmcia? function ? # Megahertz Ethernet 424 425 # ISA network interfaces 426 ate0 at isa? port 0x2a0 irq ? # AT1700 427 ec0 at isa? port 0x250 iomem 0xd8000 irq 9 # 3Com 3c503 Ethernet 428 #eg0 at isa? port 0x280 irq 9 # 3c505 Ethernet cards 429 #el0 at isa? port 0x300 irq 9 # 3c501 Ethernet cards 430 ep0 at isa? port ? irq ? # 3c509 Ethernet cards 431 #ef0 at isa? port 0x360 iomem 0xd0000 irq 7 # 3c507 432 ai0 at isa? port 0x360 iomem 0xd0000 irq 7 # StarLAN 433 fmv0 at isa? port 0x2a0 irq ? # FMV-180 series 434 ix0 at isa? port 0x300 irq 10 # EtherExpress/16 435 iy0 at isa? port 0x360 irq ? # EtherExpress PRO 10 ISA 436 lc0 at isa? port 0x320 iomem ? irq ? # DEC EtherWORKS III (LEMAC) 437 #depca0 at isa? port 0x300 iomem 0xc8000 iosiz 0x8000 irq 5 # DEPCA 438 #le* at depca? 439 #nele0 at isa? port 0x320 irq 9 drq 7 # NE2100 440 #le* at nele? 441 #bicc0 at isa? port 0x320 irq 10 drq 7 # BICC IsoLan 442 #le* at bicc? 443 ne0 at isa? port 0x280 irq 9 # NE[12]000 Ethernet cards 444 ne1 at isa? port 0x300 irq 10 445 sm0 at isa? port 0x300 irq 10 # SMC91C9x Ethernet 446 we0 at isa? port 0x280 iomem 0xd0000 irq 9 # WD/SMC Ethernet 447 we1 at isa? port 0x300 iomem 0xcc000 irq 10 448 449 # MII bus support 450 #mii* at tl? 451 452 # MII PHY network interfaces 453 #tlphy* at mii? dev ? # ThunderLAN PHYs 454 #nsphy* at mii? dev ? # NS and compatible PHYs 455 #ukphy* at mii? phy ? # generic unknown PHYs 456 457 458 # Audio Devices 459 460 # ISA Plug-and-Play audio devices 461 #guspnp* at isapnp? # Gravis Ultra Sound PnP audio 462 #sb* at isapnp? # SoundBlaster-compatible audio 463 464 # ISA audio devices 465 #gus0 at isa? port 0x220 irq 7 drq 1 drq2 6 # Gravis Ultra Sound 466 #pas0 at isa? port 0x220 irq 7 drq 1 # ProAudio Spectrum 467 #sb0 at isa? port 0x220 irq 7 drq 1 drq2 5 # SoundBlaster 468 #wss0 at isa? port 0x530 irq 10 drq 0 drq2 1 # Windows Sound System 469 470 # Audio support 471 #audio* at audiobus? 472 473 # The spkr driver provides a simple tone interface to the built in speaker. 474 #spkr0 at pcppi? # PC speaker 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 Sun Oct 12 20:09:57 GMT 2025