Please avoid top-posting.
On Tue, Sep 20, 2022 at 09:41:48AM +0200, Adam Szewczyk wrote:
> > (XEN) MSI 132 vec=d9 lowest edge assert log lowest dest=00000100
> > mask=0/ /?
> > (XEN) IRQ: 132 vec:d9 PCI-MSI status=030 aff:{8}/{0-11}
> > in-flight=0 d7:151(-M-)
So this is the MSI vector assigned to the OpenBSD domain, and is
indeed masked.
> > openbsd-71 7 511 2 -b----
> > 63.0
> > openbsd-71-dm 8 144 1 -b----
> > 14.0
> >
>
> How I can enable install this debug hypervisor? I have problems finding
> anything about it.
You will have to ask QubesOS about how to do that. I have no
experience with QubesOS, and don't know if or where they provide a
debug build of Xen for you to boot.
> I don't have logs with qemu in the name, instead I have gmp-proxy logs. But
> their all looks empty.
Right, QubesOS is also using stubdomains, so it's not clear to me
where those logs are stored.
For debugging purposes, is there a way that you could create the
OpenBSD domain without a stubdomain, and just run QEMU in the control
domain? That would also rule out whether the cause of the malfunction
is due to the usage of stubdomains.
Regards, Roger.
