O fabricante oferece um CD-ROM com alguns programas e ferramentas para iniciar o RPi. Uma delas é a imagem para tal.
Ainda não a conheço farei um experimento somente para testar os programas e ferramentas do fabricante.
Pois o S.O. da página oficial é o suficiente.Esta imagem é o S.O. debian para o RPi ou seja o RaspBian.
.