file mango_kernel.debug
gdb-remote localhost:1234