?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7d231ea) | patch
Utility for invoking the proper GDB and loading Pintos macros.
commitbb35d8a7081d18835c1c50df2056da7f77823bd0
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Apr 2006 18:30:09 +0000 (7 18:30 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Apr 2006 18:30:09 +0000 (7 18:30 +0000)
treef25fc55672c5858f183cbf7c9c257bec235ec9a0tree | snapshot (tar.gz zip)
parent7d231eae76658ed27ae8ce96bcee95015639c3c9commit | diff
Utility for invoking the proper GDB and loading Pintos macros.
src/utils/pintos-gdb [new file with mode: 0755] blob
Pintos educational operating system