projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78c284b) | patch
Patches to make Bochs 2.6.2 work with Pintos
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 19:33:52 +0000 (11:33 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 19:33:52 +0000 (11:33 -0800)
commit6944d7707315ed7f9cc1ae3986f81a91d01ee106
treec3a5b0c7180b529ed0ad11a6286fa67e24f56eb5tree | snapshot
parent78c284be246ce3c9d55c82ba545019b9bb31c728commit | diff
Patches to make Bochs 2.6.2 work with Pintos

(patches provided by David Mazieres).
src/misc/bochs-2.6.2-banner-stderr.patch [new file with mode: 0644] blob
src/misc/bochs-2.6.2-block-device-check.patch [new file with mode: 0644] blob
src/misc/bochs-2.6.2-build.sh [new file with mode: 0755] blob
src/misc/bochs-2.6.2-jitter-plus-segv.patch [new file with mode: 0644] blob
src/misc/bochs-2.6.2-xrandr-pkgconfig.patch [new file with mode: 0644] blob
Pintos public repository