If you want to build a powerful $40 Linux or Android PC with 4K video support, consider Hardkernel’s Odroid-C2 computer.
The developer board is an uncased computer like the popular Raspberry Pi 2, which sells for $35. But South Korea-based Hardkernel claims Odroid-C2 has more horsepower than its popular rival and can be a desktop replacement.