On Thu, 26 Jan 2023 12:01:51 +0000,
Gerd Hoffmann <kra...@redhat.com> wrote:
>
> On Thu, Jan 19, 2023 at 02:21:30PM +0100, Ard Biesheuvel wrote:
> > On Thu, 19 Jan 2023 at 13:55, Oliver Steffen <ostef...@redhat.com> wrote:
> > >
> > > Quoting Gerd Hoffmann (2023-01-19 13:00:21)
> > > > Hi,
> > > >
> > > > > > I tried the most recent Qemu master (v7.2.50) and also v7.0.0,
> > > > > > on the 5.14 (RHEL) kernel and on 6.1.6-200.fc37.aarch64 (from
> > > > > > Fedora).
> > > > > > No luck.
> > > > > >
> > > > >
> > > > > Does that include a backport of commit
> > > > > 406504c7b0405d74d74c15a667cd4c4620c3e7a9?
> > > >
> > > > Probably not given that fedora kernels are almost vanilla and the
> > > > backport landed in stable in v6.1.7 (commit 9a1195c584321).
> > > >
> > > > Oliver: try pulling the latest kernel directly from koji:
> > > > https://koji.fedoraproject.org/koji/buildinfo?buildID=2112315
> > > >
> > > > take care,
> > > > Gerd
> > > >
> > >
> > > Thanks for the koji link, Gerd.
> > >
> > > It works with 6.1.7-200.fc37.aarch64.
> > > Perfect.
> > >
> > > Thanks Ard, thanks Marc!
> > >
> >
> > Thanks for the report. Up to this point, Marc is the only one who had
> > managed to reproduce this afaik, so having another data point where
> > the fix works as intended is rather nice.
>
> One more data point: This also gets things working again on the
> raspberry pi 3. Well, sort of. There still is some timer problem
> (it waits forever on the splash screen). That might also be some
> qemu bug though ...
RPi3 as a host? Using the QEMU-provided GIC emulation? I wouldn't be
surprised if that broke ages ago as nobody really tests this
configuration. If you can pinpoint the last state where this actually
worked, I'll try and have a look.
But this sounds unrelated to the page fault handling that my patch was
fixing.
Thanks,
M.
--
Without deviation from the norm, progress is not possible.
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#99092): https://edk2.groups.io/g/devel/message/99092
Mute This Topic: https://groups.io/mt/96075174/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
