Wei Liu

> @liuw Can you do some code archaeology on the 4GiB requirement - I suspect it might be for high end VFIO devices as PCI BARs must be naturally aligned....

> ACPI identifiers must be 4 characters, we could go to 4096 and call it `P{:03X}` This works. > I'm also worried about the size of the ACPI tables both...

I did some quick testing using a somewhat old (5.15) guest kernel that I have lying around. The highest it can handle is 96 segments. Anything more than that there...

> @liuw Does bumping segments limit to 96 satisfy your use case for now? Also, do you plan to follow-up further on this topic, say increase the segment limits further...

@russell-islam there is no activity so I'm closing this. Please reopen when necessary.

I'm curious about the threat model here. Is the host kernel trusted?

> > The VMM implementation is being proposed for Cloud Hypervisor: https://github.com/Dummyc0m/cloud-hypervisor/ I had a quick look at the code. The virtual device is rather self-contained. I do wonder if...

> > I'm curious about the threat model here. Is the host kernel trusted? > > It is. The goal is to contain untrusted workloads, while maintaining reasonable performance and...

> > I'm no expert on this either, but this is how it can be done on x86 and ARM. > > On x86 you can put that device into...

@Dummyc0m I'm wondering where you're at with this?