Develop for Raspberry PI

Right, there are still libs missing. I’ve just seen the tutorial HowTo: Raspberry Pi 3 as remote agent (Oct. 2020) being posted, which should be exactly what you need. Let me know if there are errors.