Do you have any plans to add the Raspberry Pi to the list of supported platforms?
Probably not any time soon. I don’t have a good way to incorporate an ARM build into the build and deploy process for raspberry pi, or a suitable device for performance testing/optimization right now.