file build/mango_kernel.dbg
gdb-remote localhost:1234