Here´s the toolchain for programming your personal chipsat. It´s kept simple, it´s a "one screener". The most important trigonometrical functions are included. You can simulate all sensor inputs by sliding the gauges. You can write your code even before the devkit hardware is ready. Notice that your personal satellite has even magnetic coils to change its attitude. I want give you all the possibility to control a real spacecraft - and it´´s your personal.