See https://github.com/rumpkernel/rumprun/commit/ff3d5f76d07d44e8eb553e5a5c89fd0bddaeb5dd Essentially, set `RUMPCOMP_MAKEFILEINC_rumpdev_pci` and it will be included by the build process. Note: need to pull in new buildrump.sh for this. @robertmillan can you handle this? (I can't test HURD)