@stephanmartin You might have to find someone to donate a device to, because in order to make a port the porter would need to have it on hand. Generally the easier route by far is for you to go and get a supported device.