Hi, I am wondering if there is a way to start a rumpkernel with a pre-selected single pci device only. The use case is for creating isolated unikernels for drivers in userspace for GNU/Hurd.
One idea we discussed on IRC was to grant ioperm() to specific io ports based on bus/dev/fun of a chosen pci card the kernel should support, and then throw everything at the kernel and let it autoprobe everything, failing on devices it can't get io permissions for. This would probably require an api change to the rumpcomp_pci_iospace_init() function to take the pci B/D/F so we can map that to io ports to grant permission on. If there is another way that is already implemented to achieve the same thing, I'd love to know about it. Cheers, Damien
