HPET description not found when using UEFI boot with Nova

[Alexander Boettcher]

Hello,

On 26.10.18 18:49, Parfait Tokponnon wrote:
> 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)

> How can I fix this?

for Qemu one has to provide the UEFI firmware. We have built the UEFI
firmware based on the Tianocore project and ship it with Genode, which
worked well with the Qemu version we are using (for me personally 2.4.x
- 2.9.x).

I presume, that you need for your latest Qemu version potentially a
newer UEFI build. In tool/boot/README we documented what we did to build
the UEFI firmware in the past.

So, either try to use some older Qemu version first or try to re-build
the UEFI firmware as described by the Tianocore project.

Good luck,

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth