thought this would be an interesting (and easy) port https://www.geeksphone.com/ Positives: it's an X86 phone (wow! not ARM for once) dual core 1.6ghz amd decent size screen relatively cheap at 220 EU Supports bluetooth, although not sure of the status on our bluetooth... mouse and keyboard input? I'm not sure if it has an HDMI output, but that would also be a bonus.