Serial Port device names

and then we are supposed to choose the Cortex M0 core: