From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 8 Dec 2006 18:47:37 +0000 (+0000)
Subject: Make it possible to ignore page faults in GDB.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;hp=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;p=pintos-anon

Make it possible to ignore page faults in GDB.
From su.class.cs140 and Godmar Back.
---