As with any other standard device I had no problems running various versions of the 64-bit version of Tiny Core Linux. (v16, v13).
