Add all missing carriage returns

Author: AlessandroA

source/client_a.cpp

@@ -56,7 +56,7 @@ static void box_async_runner(const void *)
         while (1) {
             uint32_t ret;
             int status = rpc_fncall_wait(result, UVISOR_WAIT_FOREVER, &ret);
-            uvisor_ctx->pc->printf("%c: %s '0x%08x'\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
+            uvisor_ctx->pc->printf("%c: %s '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
             /* FIXME: Add better error handling. */
             if (!status) {
                 break;
@@ -72,7 +72,7 @@ static void box_sync_runner(const void *)
     while (1) {
         /* Synchronous access to the number. */
         const uint32_t number = secure_number_get_number();
-        uvisor_ctx->pc->printf("%c: Read '0x%08x'\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
+        uvisor_ctx->pc->printf("%c: Read '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
 
         Thread::wait(7000);
     }

source/client_b.cpp

@@ -65,15 +65,15 @@ static void client_b_main(const void *)
         while (1) {
             uint32_t ret;
             int status = rpc_fncall_wait(result, UVISOR_WAIT_FOREVER, &ret);
-            uvisor_ctx->pc->printf("%c: %s '0x%08x'\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
+            uvisor_ctx->pc->printf("%c: %s '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
             if (!status) {
                 break;
             }
         }
 
         /* Synchronous access to the number. */
         number = secure_number_get_number();
-        uvisor_ctx->pc->printf("%c: Read '0x%08x'\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
+        uvisor_ctx->pc->printf("%c: Read '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
 
         Thread::wait(3000);
     }

source/main.cpp

@@ -61,7 +61,7 @@ static void main_async_runner(const void *)
             /* TODO typesafe return codes */
             uint32_t ret;
             status = rpc_fncall_wait(result, UVISOR_WAIT_FOREVER, &ret);
-            printf("%c: %s '0x%08x'\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
+            printf("%c: %s '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (ret == 0) ? "Wrote" : "Failed to write", (unsigned int) number);
             if (!status) {
                 break;
             }
@@ -76,7 +76,7 @@ static void main_sync_runner(const void *)
     while (1) {
         /* Synchronous access to the number. */
         const uint32_t number = secure_number_get_number();
-        printf("%c: Read '0x%08x'\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
+        printf("%c: Read '0x%08x'\r\n", (char) uvisor_box_id_self() + '0', (unsigned int) number);
 
         Thread::wait(11000);
     }

source/secure_number.cpp

@@ -82,7 +82,7 @@ static int set_number(uint32_t number)
         static const char * trusted_namespace = "client_a";
         if (memcmp(name, trusted_namespace, sizeof(*trusted_namespace)) == 0) {
             uvisor_ctx->trusted_id = id;
-            uvisor_ctx->pc->printf("Trusted client a has box id %u\n", id);
+            uvisor_ctx->pc->printf("Trusted client a has box id %u\r\n", id);
         } else {
             return 1;
         }