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