AFAIK, no instructions on how to image and setup the roboRIO have been released yet, but FIRST released
instructions for setting up the generic development environment in Eclipse (for C++ and Java), along with the
encrypted zip that contains the Driver Station and other tools.