Xiaomi Redmi Go support
The Xiaomi Redmi Go is a cheap Android Go device, USD 65 at launch.
It does not support verified boot even on stock firmware, that is an exception made for Android Go devices.
However, we can still build a GSI for this, which should work with other devices with a similar configuration as well. And the GSI architecture should work well in general.