[US] The [http://www.raspberrypi.org/%|%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.
Together with a [http://elinux.org/RPi_Gertboard%|%Gertboard] a nice playground for Tcl/Tk.

Categories?