diff --git a/bochs/iodev/devices.txt b/bochs/iodev/devices.txt
index ca6c8e54f..5dd6065d7 100644
--- a/bochs/iodev/devices.txt
+++ b/bochs/iodev/devices.txt
@@ -13,6 +13,8 @@ MOTHER BOARD (i430FX / i440FX / i440BX support)
   |        |
   |        +---- PIIX4 ACPI support                             acpi.cc
   |
+  +---- High Precision Event Timer                              hpet.cc
+  |
   +---- PCI host device mapping (Linux only)                    pcidev.cc
   |
   +---- Integrated peripherals