What development tools are available for URVE BOARD Pi?

We provide BSP (for Linux and kernel modifications) and SDK (all Linux compilations + QT Creator) in a very convenient virtual machine with Ubuntu. It allows easy porting of applications from any ARM/X86 board, not just RPi.