We would like to test the UEFI framebuffer driver on Nova but the booting hangs just after this log on serial output :

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?