projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd5dde3) | 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)
commita8586578bb7a9dbbbca7b39a9f92058e3f551f9d
tree2642766d08b7a8c9fa0bc50875492e1d98570139tree | snapshot
parentbd5dde3034714da175496292c92dc5a37509a311commit | 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