I've been playing a bit with ST's STM32x chips and started dream about having a qwerty built around it when I bumped into this thread.

For PCB designs I really recommend Kicad. It's open source, commonly used and works on Linux and Windows.

It's not that hard to design a PCB with Kicad and order it from Itead. And Itead's prices are very suitable even for individual hobbyists.