You can get those Rockchip HDMI sticks for $50 on aliexpress, shipping included (RK3288 ones support 4K). They usually ship with Android 4.4 these days. But for $70-$80 you can get a stick with Atom Z3735F 2GB&#x2F;32GB and have full desktop OS, Windows or Linux.