libvmm: remove old TODO

au-ts · Sep 23, 2023 · bf3dd9d · bf3dd9d
1 parent eb28ce6
commit bf3dd9d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/arch/aarch64/tcb.c b/src/arch/aarch64/tcb.c
@@ -8,7 +8,6 @@
 #include "util.h"
 #include "tcb.h"
 
-// @ivanv: should we have a header-only file or have tcb.c and vcpu.c as well?
 void tcb_print_regs(size_t vcpu_id) {
     /*
      * While we are potentially doing an extra system call in order to read the