Raspberry Pi port, piCore-15.0 is available!
... I installed xorg and typed startx into the image interface. ...
Which Pi release are you using ?If the TC.tcz meta-extension is available, then load it.It should saves you a lot of trouble.Alternatively, load aterm, wbar, Xorg and {any window manager}