VirtualBoxの[Settings]->[Serial Ports]で"Port Mode"を"Host Pipe"にして、"Create Pipe"にチェック。
Pathに適当なパス(ここでは/tmp/vm-tty-pipe)を入力。
カーネルブート時のパラメータに次の文字列を追加。
kgdbwait kgdboc=ttyS0,115200
host os で
$ socat -d -d /tmp/vm-tty-pipe pty:
ちなみにsocatを使わないで直接 /tmp/vm-tty-pipe をgdbに渡す方法は不可。
gdbの設定
.gdbinit:
file ./vmlinux
set remotebaud 115200
target remote /dev/pts/0 ... 0 はsocatで出力された番号とする
0 件のコメント:
コメントを投稿