From: John Ousterhout <ouster@cs.stanford.edu>
Date: Thu, 17 Dec 2015 19:33:52 +0000 (-0800)
Subject: Patches to make Bochs 2.6.2 work with Pintos
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=a8586578bb7a9dbbbca7b39a9f92058e3f551f9d;hp=a8586578bb7a9dbbbca7b39a9f92058e3f551f9d

Patches to make Bochs 2.6.2 work with Pintos

(patches provided by David Mazieres).
---