Rewrite TCL shell to use same rtkern interface as VHPI