Hi Christian,
I do not believe either launchpad is supported in linux. The MSP will not work (only the very very latest hardware) and the stellaris has been known to work with such hacks as shown here from a quick google search
http://www.jann.cc/2012/12/11/getting_started_with_the_ti_stellaris_launchpad_on_linux.html
Best Regards,
Lisa