As reported in the firmware section, I have successfully booted and run Tinycore Linux 3.6 from a pen drive.
As the t5720 has conventional hardware and BIOS I would not anticipate any problems in running almost any Linux distribution.
