An article giving a description of the hardware of the tx0D (3020) and installing a version of Linux on it.
"It comes with 'WLoader' firmware, but can be flashed with Open Firmware. Open Firmware is 100% free software and provides better Device Tree support than WLoader."
Google will find other discussions such as Debian on Dell Wyse 3020