HPET description not found when using UEFI boot with Nova

[Parfait Tokponnon]

Hello all,
We would like to test the UEFI framebuffer driver on Nova but the booting
hangs just after this log on serial output :
NOVA Microhypervisor v8-b156131 (x86_64): Oct 24 2018 16:04:18 [gcc 6.3.0]
[MBI2]

Command: $make run/demo KERNEL=nova
with QEMU_RUN_OPT := --include power_on/qemu  --include log/qemu --include
image/uefi.
QEMU emulator version 2.12.92 (v3.0.0-rc2-1-ga0c7f2c-dirty)
This is a fresh Genode directory, just cloned from github.
Actually, the booting hangs in function acpi::setup() because the HPET
signature is not found when parsing the RSDT acpi table. Here is the list
of signatures found in the acpi table :  {FACP, APIC, SSDT, BGRT}.
It is worth precising that it works fine when using the default (non-uefi)
configuration. In this case, the acpi signatures list is {FACP, APIC, HPET,
MCFG}.
How can I fix this?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20181026/6113ada7/attachment.html>