Given the ongoing Raspberry Pi shortage, I’m wondering whether there’s interest in having the option to use an ODROID instead. It looks like the ODROID XU4 (https://www.hardkernel.com/shop/odroid-xu4q-special-price/) is still available and the new ODROID N2L (ODROID-N2L with 2GByte RAM – ODROID) looks pretty interesting too. I’ve used various ODROID models for many years and found them to be reliable and have good software support. In the US I tend to order them from www.ameridroid.com, I don’t know whether there’s a good reseller in Europe or whether ordering direct is best. I haven’t been able to buy an rPi in a long time (not that I have a pressing need either) so I’m wondering, but I also don’t want to spend time on this if it’s not of general interest.