I found on Youtube this very nice demo of a 3D-printer featuring Raspberry Pi + FRDM-KL25Z + LinuxCNC + Ordbot Hadron.
May be some project idea for some community users ;D