gdbを用いてカーネルのデバッグを行うシステム．カーネル側にgdbとの通信を行うスタブを用意する必要がある． 【出典】Interface編集部 編；組み込み技術用語集，Interface 2007年8月号 別冊付録，CQ出版社，2007年8月．
