US 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. Together with a Gertboard a nice playground for Tcl/Tk.