I'm not sure where this would be most appropriate to discuss, but there seems to be a back and forth going on with the [email protected] forums and putting together a client that can use Raspberry Pi resources for the AARCH64 architecture. I'm not sure if the official Raspberry Pi forums would be the most appropriate place to post, but how would Raspberry Pi users go about requesting resources to put together a [email protected] client to contribute to the COVID-19 efforts?