[isbn]

There definitely are Android ports for RaspPi and other ARM boards, but I don't think there are RemixOS ports for these, which I would like.