After working with mbed.org for a bit, I became dissatisfied with the results I was seeing. For compiling a simple code that just flips an LED it was consuming 14K memory. Even though the 411 has 512K it also means to me there might be some performance implications associated with it, so I am shying away from it.

For this I will be approaching using gcc on an ARM-M4 compiler via a Linux VB to see if I can get it to work. If this does work I'll post a link/my instructions to get it to work.