As it has a conventional BIOS and also supports USB booting there is no problem running alternative builds of Linux on the t5710.
As expected it happily ran Tinycore 4.2 from a pen drive.
The previous owner had installed Arch linux to the onboard flash.