49d48
< #include "kern/kernel_stats.hh"
61d59
< #include "base/remote_gdb.hh"
64a63,64
> #include "base/remote_gdb.hh"
> #include "kern/kernel_stats.hh"