Only one boot attempt occurs, whether network or disk. It is expected behaviour.
> After a failed/aborted PXE boot (e.g., hitting a key or no network) > a laptop is "hanging" at the (OpenBSD 6.2 snapshot) > >boot > prompt which normally (AFAICT) times out and just boots after a few > seconds (from disk); it boots fine after hitting "Return". > > Can someone please clarify if this is known/expected behaviour or > a problem with the software or the hardware? > > dmesg from the laptop (running a recent snapshot) > > OpenBSD 6.2 (GENERIC.MP) #123: Sat Sep 30 22:51:56 MDT 2017 > dera...@amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENERIC.MP > real mem = 8495951872 (8102MB) > avail mem = 8231452672 (7850MB) > mpath0 at root > scsibus0 at mpath0: 256 targets > mainbus0 at root > bios0 at mainbus0: SMBIOS rev. 2.6 @ 0xf2440 (67 entries) > bios0: vendor Dell Inc. version "A12" date 05/09/2012 > bios0: Dell Inc. Latitude E6510 > acpi0 at bios0: rev 2 > acpi0: sleep states S0 S3 S4 S5 > acpi0: tables DSDT FACP APIC TCPA MCFG HPET BOOT SLIC SSDT > acpi0: wakeup devices AGP_(S4) P0P1(S4) HDEF(S4) PXSX(S4) RP01(S4) PXSX(S4) > RP02(S4) PXSX(S4) RP03(S4) PXSX(S4) RP04(S4) PXSX(S4) RP05(S4) PXSX(S4) > RP07(S4) PXSX(S4) [...] > acpitimer0 at acpi0: 3579545 Hz, 24 bits > acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat > cpu0 at mainbus0: apid 0 (boot processor) > cpu0: Intel(R) Core(TM) i7 CPU M 620 @ 2.67GHz, 2660.43 MHz > cpu0: > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,POPCNT,AES,NXE,RDTSCP,LONG,LAHF,PERF,ITSC,SENSOR,ARAT > cpu0: 256KB 64b/line 8-way L2 cache > cpu0: TSC frequency 2660428950 Hz > cpu0: smt 0, core 0, package 0 > mtrr: Pentium Pro MTRR support, 8 var ranges, 88 fixed ranges > cpu0: apic clock running at 132MHz > cpu0: mwait min=64, max=64, C-substates=0.2.1.1, IBE > cpu1 at mainbus0: apid 4 (application processor) > cpu1: Intel(R) Core(TM) i7 CPU M 620 @ 2.67GHz, 2659.99 MHz > cpu1: > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,POPCNT,AES,NXE,RDTSCP,LONG,LAHF,PERF,ITSC,SENSOR,ARAT > cpu1: 256KB 64b/line 8-way L2 cache > cpu1: smt 0, core 2, package 0 > cpu2 at mainbus0: apid 1 (application processor) > cpu2: Intel(R) Core(TM) i7 CPU M 620 @ 2.67GHz, 2659.99 MHz > cpu2: > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,POPCNT,AES,NXE,RDTSCP,LONG,LAHF,PERF,ITSC,SENSOR,ARAT > cpu2: 256KB 64b/line 8-way L2 cache > cpu2: smt 1, core 0, package 0 > cpu3 at mainbus0: apid 5 (application processor) > cpu3: Intel(R) Core(TM) i7 CPU M 620 @ 2.67GHz, 2659.99 MHz > cpu3: > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,POPCNT,AES,NXE,RDTSCP,LONG,LAHF,PERF,ITSC,SENSOR,ARAT > cpu3: 256KB 64b/line 8-way L2 cache > cpu3: smt 1, core 2, package 0 > ioapic0 at mainbus0: apid 2 pa 0xfec00000, version 20, 24 pins > acpimcfg0 at acpi0 addr 0xf8000000, bus 0-63 > acpihpet0 at acpi0: 14318179 Hz > acpiprt0 at acpi0: bus 0 (PCI0) > acpiprt1 at acpi0: bus -1 (AGP_) > acpiprt2 at acpi0: bus 10 (P0P1) > acpiprt3 at acpi0: bus 1 (RP01) > acpiprt4 at acpi0: bus -1 (RP02) > acpiprt5 at acpi0: bus 2 (RP03) > acpiprt6 at acpi0: bus 4 (RP04) > acpiprt7 at acpi0: bus -1 (RP05) > acpiprt8 at acpi0: bus -1 (RP07) > acpiprt9 at acpi0: bus -1 (RP08) > acpiprt10 at acpi0: bus -1 (PEG3) > acpiprt11 at acpi0: bus -1 (PEG5) > acpiec0 at acpi0 > acpicpu0 at acpi0: C3(350@245 mwait.3@0x20), C2(500@205 mwait.3@0x10), > C1(1000@3 mwait.1), PSS > acpicpu1 at acpi0: C3(350@245 mwait.3@0x20), C2(500@205 mwait.3@0x10), > C1(1000@3 mwait.1), PSS > acpicpu2 at acpi0: C3(350@245 mwait.3@0x20), C2(500@205 mwait.3@0x10), > C1(1000@3 mwait.1), PSS > acpicpu3 at acpi0: C3(350@245 mwait.3@0x20), C2(500@205 mwait.3@0x10), > C1(1000@3 mwait.1), PSS > "PNP0401" at acpi0 not configured > "DLL040B" at acpi0 not configured > "SMO8800" at acpi0 not configured > acpibtn0 at acpi0: LID_ > acpibtn1 at acpi0: PBTN > acpibtn2 at acpi0: SBTN > acpiac0 at acpi0: AC unit offline > acpibat0 at acpi0: BAT0 model "DELL RG04908" serial 7861 type LION oem "Sanyo" > acpibat1 at acpi0: BAT1 not present > "*pnp0c14" at acpi0 not configured > acpivideo0 at acpi0: VID_ > acpivideo1 at acpi0: VID_ > acpivideo2 at acpi0: VID_ > acpivout0 at acpivideo2: LCD_ > cpu0: Enhanced SpeedStep 2660 MHz: speeds: 2667, 2666, 2533, 2399, 2266, > 2133, 1999, 1866, 1733, 1599, 1466, 1333, 1199 MHz > pci0 at mainbus0 bus 0 > pchb0 at pci0 dev 0 function 0 "Intel Core Host" rev 0x02 > inteldrm0 at pci0 dev 2 function 0 "Intel HD Graphics" rev 0x02 > drm0 at inteldrm0 > intagp0 at inteldrm0 > agp0 at intagp0: aperture at 0xe0000000, size 0x10000000 > inteldrm0: msi > inteldrm0: 1920x1080, 32bpp > wsdisplay0 at inteldrm0 mux 1: console (std, vt100 emulation) > wsdisplay0: screen 1-5 added (std, vt100 emulation) > em0 at pci0 dev 25 function 0 "Intel 82577LM" rev 0x05: msi, address > 5c:26:0a:11:5a:66 > ehci0 at pci0 dev 26 function 0 "Intel 3400 USB" rev 0x05: apic 2 int 16 > usb0 at ehci0: USB revision 2.0 > uhub0 at usb0 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00 > addr 1 > azalia0 at pci0 dev 27 function 0 "Intel 3400 HD Audio" rev 0x05: msi > azalia0: codecs: IDT 92HD81B1C, Intel/0x2804, using IDT 92HD81B1C > audio0 at azalia0 > ppb0 at pci0 dev 28 function 0 "Intel 3400 PCIE" rev 0x05: msi > pci1 at ppb0 bus 1 > ppb1 at pci0 dev 28 function 2 "Intel 3400 PCIE" rev 0x05: msi > pci2 at ppb1 bus 2 > cbb0 at pci2 dev 0 function 0 vendor "Ricoh", unknown product 0xe476 rev > 0x02: apic 2 int 18 > sdhc0 at pci2 dev 0 function 1 "Ricoh 5U822 SD/MMC" rev 0x03: apic 2 int 19 > sdhc0: SDHC 3.0, 50 MHz base clock > sdmmc0 at sdhc0: 4-bit, sd high-speed, mmc high-speed, dma > "Ricoh 5U832 Firewire" rev 0x03 at pci2 dev 0 function 4 not configured > cardslot0 at cbb0 slot 0 flags 0 > cardbus0 at cardslot0: bus 3 device 0 cacheline 0x0, lattimer 0x20 > pcmcia0 at cardslot0 > ppb2 at pci0 dev 28 function 3 "Intel 3400 PCIE" rev 0x05: msi > pci3 at ppb2 bus 4 > ehci1 at pci0 dev 29 function 0 "Intel 3400 USB" rev 0x05: apic 2 int 17 > usb1 at ehci1: USB revision 2.0 > uhub1 at usb1 configuration 1 interface 0 "Intel EHCI root hub" rev 2.00/1.00 > addr 1 > ppb3 at pci0 dev 30 function 0 "Intel 82801BAM Hub-to-PCI" rev 0xa5 > pci4 at ppb3 bus 10 > pcib0 at pci0 dev 31 function 0 "Intel QM57 LPC" rev 0x05 > ahci0 at pci0 dev 31 function 2 "Intel 3400 AHCI" rev 0x05: msi, AHCI 1.3 > ahci0: port 0: 3.0Gb/s > ahci0: port 1: 1.5Gb/s > scsibus1 at ahci0: 32 targets > sd0 at scsibus1 targ 0 lun 0: <ATA, WDC WD800BJKT-75, 11.0> SCSI3 0/direct > fixed naa.50014ee2ae66d376 > sd0: 76319MB, 512 bytes/sector, 156301488 sectors > cd0 at scsibus1 targ 1 lun 0: <TSSTcorp, DVD+-RW TS-U633J, D100> ATAPI > 5/cdrom removable > ichiic0 at pci0 dev 31 function 3 "Intel 3400 SMBus" rev 0x05: apic 2 int 18 > iic0 at ichiic0 > lisa0 at iic0 addr 0x1d: lis331dl > spdmem0 at iic0 addr 0x50: 4GB DDR3 SDRAM PC3-10600 SO-DIMM > spdmem1 at iic0 addr 0x52: 4GB DDR3 SDRAM PC3-10600 SO-DIMM > itherm0 at pci0 dev 31 function 6 "Intel 3400 Thermal" rev 0x05 > isa0 at pcib0 > isadma0 at isa0 > pckbc0 at isa0 port 0x60/5 irq 1 irq 12 > pckbd0 at pckbc0 (kbd slot) > wskbd0 at pckbd0: console keyboard, using wsdisplay0 > pms0 at pckbc0 (aux slot) > wsmouse0 at pms0 mux 0 > pcppi0 at isa0 port 0x61 > spkr0 at pcppi0 > pci5 at mainbus0 bus 63 > pchb1 at pci5 dev 0 function 0 "Intel QuickPath" rev 0x02 > pchb2 at pci5 dev 0 function 1 "Intel QuickPath" rev 0x02 > pchb3 at pci5 dev 2 function 0 "Intel QPI Link" rev 0x02 > pchb4 at pci5 dev 2 function 1 "Intel QPI Physical" rev 0x02 > pchb5 at pci5 dev 2 function 2 "Intel Reserved" rev 0x02 > pchb6 at pci5 dev 2 function 3 "Intel Reserved" rev 0x02 > vmm0 at mainbus0: VMX/EPT > uhub2 at uhub0 port 1 configuration 1 interface 0 "Intel Rate Matching Hub" > rev 2.00/0.00 addr 2 > uvideo0 at uhub2 port 4 configuration 1 interface 0 "CN06YWTK7248709103MN > Laptop_Integrated_Webcam_3M" rev 2.00/3.31 addr 3 > video0 at uvideo0 > uhub3 at uhub1 port 1 configuration 1 interface 0 "Intel Rate Matching Hub" > rev 2.00/0.00 addr 2 > uhidev0 at uhub3 port 3 configuration 1 interface 0 "Fujitsu Component Type 6 > Keyboard" rev 1.10/2.00 addr 3 > uhidev0: iclass 3/1 > ukbd0 at uhidev0: 8 variable keys, 6 key codes, country code 33 > wskbd1 at ukbd0 mux 1 > wskbd1: connecting to wsdisplay0 > ugen0 at uhub3 port 8 "Broadcom Corp 5880" rev 1.10/1.01 addr 4 > vscsi0 at root > scsibus2 at vscsi0: 256 targets > softraid0 at root > scsibus3 at softraid0: 256 targets > root on sd0a (efaf6fb7c488880a.a) swap on sd0b dump on sd0b >