OS ラボで pintos に取り組んでいますが、重要なツール gdb が機能していません。
ピントを使用するための公式ウェブサイトのリンクは次のとおりですhttp://web.stanford.edu/class/cs140/projects/pintos/pintos_10.html#SEC151
ただし、pintos をインストールしても機能しません。端末で pintos を実行したときのスクリーンショットを次に示し ます https://drive.google.com/file/d/0B2JLFvh4frRSbE11WkJRUDlSbjA/view?usp=sharing