Hello, A Debian-friendly individual close to me offers access to his ThunderX machine to those who need it to develop Debian in some way. Access would be bare metal, though we could have different images to remotely boot from. Please contact me if you have any interest and I put you in touch. Best, Steffen