whitespace cleanup

au-ts · Mar 26, 2024 · 106d0c2 · 106d0c2
1 parent bc923ee
commit 106d0c2
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/netconn/netconn.py b/netconn/netconn.py
@@ -17,7 +17,7 @@
 class ProfilerClient:
     """
     Class encpasulating the logic to control seL4 profiler over network.
-    We 
+    We
     will also recieve samples on this client from the seL4 profiler.
     """
 

diff --git a/profiler/client.c b/profiler/client.c
@@ -18,7 +18,6 @@
 #include "profiler_printf.h"
 
 uintptr_t uart_base;
-uintptr_t profiler_control;
 
 uintptr_t profiler_ring_used;
 uintptr_t profiler_ring_free;

diff --git a/profiler/serial_server.c b/profiler/serial_server.c
@@ -121,8 +121,6 @@ char get_char() {
         microkit_dbg_puts(": getchar - unable to enqueue active buffer back into available queue\n");
     }
 
-
-    microkit_dbg_puts("We got a char in serial server\n");
     return got_char;
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -17,7 +17,7 @@ @@
     class ProfilerClient:
         """
         Class encpasulating the logic to control seL4 profiler over network.
-        We
+        We
         will also recieve samples on this client from the seL4 profiler.
         """
@@ Expand Down @@