Hey, We are trying to build Rumpkernel on RPi. We cloned the repo from Dave Tucker - https://github.com/dave-tucker/rumprun/tree/raspberrypi. We are facing issues with cross compilation. We are getting the following error. nbmake[1]: nbmake[1]: don't know how to make pci.c. Stop
We tried to implement the changes Antti mentioned here - https://github.com/rumpkernel/rumprun/commit/ff3d5f76d07d44e8eb553e5a5c89fd0bddaeb5dd but still getting the same error. Kindly suggest us some solution to this problem. -- Thanks and regards, Sudhashri S Hebbar
