<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="auto">Hello all,<div dir="auto">We would like to test the UEFI framebuffer driver on Nova but the booting hangs just after this log on serial output :</div><div dir="auto"><span style="font-family:sans-serif;font-size:12.8px">NOVA Microhypervisor v8-b156131 (x86_64): Oct 24 2018 16:04:18 [gcc 6.3.0] [MBI2]</span><br></div><div dir="auto"><br></div><div dir="auto">Command: $make run/demo KERNEL=nova</div><div>with QEMU_RUN_OPT := --include power_on/qemu  --include log/qemu --include image/uefi.  <br></div><div>QEMU emulator version 2.12.92 (v3.0.0-rc2-1-ga0c7f2c-dirty)<br></div><div dir="auto">This is a fresh Genode directory, just cloned from github.<br></div><div dir="auto"></div><div dir="auto">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}.</div><div dir="auto">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}.</div><div dir="auto">How can I fix this?</div></div>
</div></div></div></div></div></div></div>