Hello, it works!

I spent a lot of time today making the UART debugging terminal work. I was getting a lot of scrambled characters and so I tried changing the baud rate and tweaking the parameters. Nothing worked until I realised that the M32's were actually clocking at 8MHz instead of 16MHz! Apparently the default setting uses the internal 8MHz clock. Anyway, it works now.