"lspci -nn" shows the ids and names. Then you can search the PCI device id in the rump ahci source.
Damien Sent from Proton Mail Android -------- Original Message -------- On 29/4/25 7:21 pm, Zhaoming Luo <zhming...@163.com> wrote: > On Tue, Apr 29, 2025 at 09:51:25AM +0200, Samuel Thibault wrote: > > > > What is more concerning is: > > > > piixide0:0:0: lost interrupt > > > > So the user-level interrupt mechanism should be checked. > > > > But overall it seems it only sees cd0, the CD drive, plugged on piixide, > > so not AHCI. Did you check that your AHCI controller is actually > > supported by rumpdisk (e.g. running lspci in Linux and check that the > > PCI vendor/product showing up there do show up in the rumpdisk code)? > > > Here is the output of lspci, not sure how to check the PCI in the > rumpdisk code. > > https://paste.debian.net/1372213/ > > Zhaoming > >