Update platform drivers

Revision:
9:9e247b9c9abf
Parent:
8:70fc373a5f46
--- a/src/platform_support.cpp	Wed Feb 26 06:09:13 2020 +0000
+++ b/src/platform_support.cpp	Mon Jun 15 13:03:55 2020 +0000
@@ -24,18 +24,16 @@
 /********************** Variables and User defined data types *****************/
 /******************************************************************************/
 
-#define BAUD_RATE        115200  // UART Communication Baud Rate
+
 
 /******************************************************************************/
 /************************ Variable Declarations *******************************/
 /******************************************************************************/
 
-// Configure and instantiate UART protocol and baud rate
-// *Note: Multiple instances of 'Serial' port can be created with different pins
-//        and baud rate settings. In that case, user must use desired 'Serial'
-//        instance/object to access the serial data, since order of declaration
-//        depends upon the user and compiler.
-static Serial port(USBTX, USBRX, BAUD_RATE);
+// Configure and instantiate Serial object to access the stdin.
+// The default mbed baud rate is 9600, unless is it overriden in the
+// mbed_app.json file, or by creating another Serial object using the same pins.
+static Serial port(USBTX, USBRX);
 
 /******************************************************************************/
 /************************ Functions Definitions *******************************/
@@ -44,7 +42,7 @@
 /**
   * @brief  getchar, but does not block if nothing waiting to be read
   * @param  None
-  * @retval character if available, NULL otherwise
+  * @return character if available, NULL otherwise
   */
 char getchar_noblock(void)
 {