Raspberry Pi port, piCore-16.0 is available!
... I've installed Xorg and intel-firmware and graphics-KERNEL tcz, added them into my onboot.lst (graphics, then firmware, then Xorg) ...
dmesg | grep -i firmware