"No devices found, XRT environment sourced?" Error

@marioruiz OK, had a more detailed look at the quick porting guide of Peter and see that it is possible to use a SPEC file. Will re-generate my image with a SPEC file according to your recommendations. Thanks!!