I've documented the result here:
32 Bit, 80 MHz and the LED blinking (my first PC had a 16 Bit 8 MHz CPU with a little more result). The biggest challenge during the construction was that I caught a bug. To be precise, not a bug but a "misprint".
I was looking for the the PE0 pin on the board. Finally I fond. Here:
Check the yellow marked designators! The two parts of the photo displays a part of the top and the bottom side of the Launchpad.