New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/issues/40980#issuecomment-1632864255

Comment:
How about shipping hardware to a maintainer? Can this be discussed, or is it also excluded similar to money donations?

It seems RK3588 could be good enough, and e.g. an Orange Pi 5 Plus board is sold on Amazon for 150$. I'd be willing to buy it and ship it to a maintainer, if that can be used as a builder.