Thanks @stanwood. But what would be the variable CODENAME in the green box you mentioned? I mean is an anbox image available for this device as supposed in the documentation you linked?

My install for karin (SGP771) was succesful with these instructions. Thank you.

Based on the feature list above, Anbox is supposed to work. What is needed to achieve this? The device is not officially supported and the image does not seem to work for that purpose as such:

phablet@ubuntu-phablet:~$ anbox-tool install
Anbox kernel is not installed! Please flash this first!

Also, how can I update to the OTA-13 release?