Explicitly set the baud rate for the shared Serial

AlessandroA · AlessandroA · commit 4042bd4b35c6 · 2017-06-12T13:21:42.000+01:00
This helps avoiding confusion when different targets have different baud
rate expectation. The EFM32GG_STK3700 target, for example, was not
printing anything because of this issue.
diff --git a/source/main.cpp b/source/main.cpp
@@ -38,7 +38,7 @@ DigitalOut led_red(LED1);
 DigitalOut led_green(LED2);
 DigitalOut led_blue(LED3);
 
-Serial shared_pc(USBTX, USBRX);
+Serial shared_pc(USBTX, USBRX, 115200);
 
 static uint32_t get_a_number()
 {

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ DigitalOut led_red(LED1);`
`38`	`38`	`DigitalOut led_green(LED2);`
`39`	`39`	`DigitalOut led_blue(LED3);`
`40`	`40`
`41`		`-Serial shared_pc(USBTX, USBRX);`
	`41`	`+Serial shared_pc(USBTX, USBRX, 115200);`
`42`	`42`
`43`	`43`	`static uint32_t get_a_number()`
`44`	`44`	`{`