diff --git a/netconn/netconn.py b/netconn/netconn.py index 3525b4c..03e8f50 100644 --- 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 index 365c29b..10de8a1 100644 --- 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 index e1dbc7d..13d1769 100644 --- 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; }