Update UART log for the CI

Author: AlessandroA

source/main-hw.h

@@ -31,6 +31,7 @@ extern Serial shared_pc;
 #define LED_OFF            true
 #define SECURE_SWITCH      SW2
 #define SECURE_SWITCH_PULL PullUp
+#define SHARED_SERIAL_BAUD 9600
 
 #define MAIN_ACL(acl_list_name) \
     static const UvisorBoxAclItem acl_list_name[] = {     \
@@ -59,6 +60,7 @@ extern Serial shared_pc;
 #define LED_OFF            false
 #define SECURE_SWITCH      SW0
 #define SECURE_SWITCH_PULL PullUp
+#define SHARED_SERIAL_BAUD 115200
 
 #define MAIN_ACL(acl_list_name) \
     static const UvisorBoxAclItem acl_list_name[] = {     \
@@ -79,6 +81,7 @@ extern Serial shared_pc;
 #define LED_OFF            false
 #define SECURE_SWITCH      USER_BUTTON
 #define SECURE_SWITCH_PULL PullDown
+#define SHARED_SERIAL_BAUD 9600
 
 #define MAIN_ACL(acl_list_name) \
     static const UvisorBoxAclItem acl_list_name[] = {     \

source/main.cpp

@@ -38,7 +38,7 @@ DigitalOut led_red(LED1);
 DigitalOut led_green(LED2);
 DigitalOut led_blue(LED3);
 
-Serial shared_pc(USBTX, USBRX, 115200);
+Serial shared_pc(USBTX, USBRX, SHARED_SERIAL_BAUD);
 
 static uint32_t get_a_number()
 {

test/log.txt

@@ -1,13 +1,12 @@
-
-***** uVisor secure number store example *****
-vault   : Only client_a can write into the vault
-vault   : All clients can read the vault
-client_b: Attempt to write  0xFFFFFED4 (denied)
-client_a: Attempt to read : 0x00000000 (granted)
-client_a: Attempt to write  0xFFFFFE0C (granted)
-public  : Attempt to read : 0xFFFFFE0C (granted)
-public  : Attempt to write  0x00000019 (denied)
-client_b: Attempt to read : 0xFFFFFE0C (granted)
-client_a: Attempt to read : 0xFFFFFE0C (granted)
-client_a: Attempt to write  0xFFFFFC18 (granted)
-public  : Attempt to read : 0xFFFFFC18 (granted)
+
+***** uVisor secure number store example *****
+vault   : Only client_a can write into the vault
+vault   : All clients can read the vault
+public  : Attempt to read : 0x00000000 (granted)
+public  : Attempt to write  0x00000019 (denied)
+client_a: Attempt to read : 0x00000000 (granted)
+client_a: Attempt to write  0xFFFFFE0C (granted)
+client_b: Attempt to write  0xFFFFFED4 (denied)
+public  : Attempt to read : 0xFFFFFE0C (granted)
+client_b: Attempt to read : 0xFFFFFE0C (granted)
+public  : Attempt to write  0xFFFFFE89 (denied)