The Raspberry Pi is out now, though still difficult to get one.

Tcl/Tk is considered not to be a problem. Will take a look at the distributions shortly.