file magenta_kernel.debug
gdb-remote localhost:1234
