remove debug prints

lib/aos/init.c

@@ -25,7 +25,6 @@
 #include <aos/paging.h>
 #include <aos/systime.h>
 #include <barrelfish_kpi/domain_params.h>
-#include <mm/mm.h>
 
 #include "threads_priv.h"
 #include "init.h"

lib/spawn/rpc_server.c

@@ -130,10 +130,6 @@ static errval_t handle_rpc_get_ram_cap(
     if (err_is_fail(err)) return err;
     *ret0 = bytes;
 
-    char buf[256];
-    debug_print_cap_at_capref(buf, 256, *ret_cap);
-    debug_printf("cap allocated by memserver: %s\n", buf);
-
     grading_rpc_handler_ram_cap(bytes, alignment);
 
     return SYS_ERR_OK;

usr/memeater/main.c

@@ -51,10 +51,6 @@ static errval_t request_and_map_memory(void)
         return err;
     }
 
-    char buf[256];
-    debug_print_cap_at_capref(buf, 256, cap1);
-    debug_printf("cap from rpc: %s\n", buf);
-
     struct capref cap1_frame;
     err = slot_alloc(&cap1_frame);
     assert(err_is_ok(err));