I have tried to use both the Raspberry Pi better than android mini PC. I wanted to use small embedded PCs to run little instruments in the lab. The Raspberry pi is my preferred option.Ii has a good community of users, an easy to install linux OS on the microSD card, and more USB slots for things like the 3D printer. I used it with pronterface to print things and it worked out well.

The android miniPC (mk809IV) turned out to be a bit of a flop. It’s hard to install linux. The native OS it slow. It will install android apps like netflix, which is cool for a home entertainment scenario, but is really too slow even for that.