By the way I tried to disable HPET in the BIOS to boot the amd64 image. The failure message is:
RTC time is 2026-01-28 13:19:02 ../i386/i386/apic.c:426: hpet_init: Assertion 'hpet_addr != 0' failed Cheers, Shinichi 2026年1月27日(火) 23:21 Samuel Thibault <[email protected]>: > Wilfred van Rooijen, le mar. 27 janv. 2026 23:11:34 +0900, a ecrit: > > Com0: at atbus0, port = 3fx8, spl = 6u, pic = 4. (DOS COM1) > > Com1: at atbus1, port = 2fx8, spl = 6u, pic = 3. (DOS COM2) > > Com 2 out of range > > RTC time is 2026-01-27 14:04:32 > > HPET ticks every 41 nanoseconds > > HPET enabled > > ../kern/mach_clock.c:547: record_time_stamp: Assertion '0 <= (& > > clock_boottime_offset)->nanoseconds && (&clock_boottime_offset)-> > nanoseconds < > > TIME_NANOS_MAX' failed. > > That's surprising, it'd indeed need to be investigated. Perhaps it's > related to HPET. You could try to boot the i386 image rather than amd64, > since we don't enable HPET by default there (yet). > > Samuel >
