karl Surprised to see that it is not stated on the website. How much space does Android take up when installed?
IKS Thanks for the hint, we will mention the partition sizes in our documentation. They depend on the device though. For RPi3: boot: 70MB, system: 2GB, oem: 1GB. The remaining space is used for the data partition.