Damien Zammit wrote: > It is present in every amd64 board since 2005. > I don't think its too much to expect the timer to exist for amd64.
I see. It seems it is part of ICH 6 and newer [1][2]. VirtualBox has a setting to emulate ICH 9 instead of PIIX3 [3]. When I try booting Hurd with this setting, it gets past the point of the HPET detection but then faces I/O errors regarding the disk. So, really, the only known workaround is $ VBoxManage modifyvm <name_of_VM> --hpet=on Bruno [1] https://en.wikipedia.org/wiki/I/O_Controller_Hub [2] https://www.intel.com/content/dam/doc/datasheet/io-controller-hub-6-datasheet.pdf [3] https://www.virtualbox.org/manual/topics/vboxmanage.html