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)
commita8586578bb7a9dbbbca7b39a9f92058e3f551f9d
tree2642766d08b7a8c9fa0bc50875492e1d98570139
parentbd5dde3034714da175496292c92dc5a37509a311
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]
src/misc/bochs-2.6.2-block-device-check.patch [new file with mode: 0644]
src/misc/bochs-2.6.2-build.sh [new file with mode: 0755]
src/misc/bochs-2.6.2-jitter-plus-segv.patch [new file with mode: 0644]
src/misc/bochs-2.6.2-xrandr-pkgconfig.patch [new file with mode: 0644]