file bin/kernel
target remote :1234
break kern_init
break tcpgetspace
break kern/net/tcpip/src/tcp/tcpestablished.c:28

