Raspberry Pi port, piCore-14.0 is available!
Xfbdev fits the tinycore concept much better and it is a trivial task to change to Xorg-7.7 so, no.