Diego Nieto Cid wrote: > I added some printf here and there and it seems there is no HPET table in > VirtualBox APIC, at > least no one can be found in the way we are discovering them. > > So, hpet_addr remains uninitialized.
HPET seems to be a piece of hardware [1]. VirtualBox can emulate this hardware, if you tell it to [2]. And indeed, after I run $ VBoxManage modifyvm <name_of_VM> --hpet=on once, the VM boots. So, that is the trick for VirtualBox, just like the "-M q35" option for qemu. It surely would be nice if Hurd did not assume the presence of this piece of hardware (it didn't in the November 2024 images). But for the moment, it should be sufficient to document the issue in https://cdimage.debian.org/cdimage/ports/latest/hurd-amd64/YES_REALLY_README.txt . Bruno [1] https://wiki.osdev.org/HPET [2] https://www.virtualbox.org/manual/ch08.html
