HPET description not found when using UEFI boot with Nova

Parfait Tokponnon parfait.tokponnon at gmail.com
Sun Oct 28 17:20:40 CET 2018


Hi Alex,
You are right, I just downloaded a pre-built image  from
https://www.kraxel.org/repos/ and it works.
Thanks you!

Le dim. 28 oct. 2018 à 10:36, Alexander Boettcher <
alexander.boettcher at genode-labs.com> a écrit :

> 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
>


-- 
Parfait T.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20181028/a1984bde/attachment.html>


More information about the users mailing list