From b5f0874cd96ee2a62aabc645b9626c2749cb6a01 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Mon, 26 Mar 2012 12:54:45 +0200
Subject: initial pintos checkin

---
 pintos-progos/misc/bochs-2.3.7-build.sh | 42 +++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100755 pintos-progos/misc/bochs-2.3.7-build.sh

(limited to 'pintos-progos/misc/bochs-2.3.7-build.sh')

diff --git a/pintos-progos/misc/bochs-2.3.7-build.sh b/pintos-progos/misc/bochs-2.3.7-build.sh
new file mode 100755
index 0000000..57e35d1
--- /dev/null
+++ b/pintos-progos/misc/bochs-2.3.7-build.sh
@@ -0,0 +1,42 @@
+#! /bin/sh -e
+
+if test -z "$SRCDIR" || test -z "$PINTOSDIR" || test -z "$DSTDIR"; then
+    echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> sh $0"
+    echo "  where <srcdir> contains bochs-2.3.7.tar.gz"
+    echo "    and <pintosdir> is the root of the pintos source tree"
+    echo "    and <dstdir> is the installation prefix (e.g. /usr/local)"
+    exit 1
+fi
+
+cd /tmp
+mkdir bochs-pintos-$$
+cd bochs-pintos-$$
+mkdir bochs-2.3.7
+tar xzf $SRCDIR/bochs-2.3.7.tar.gz
+cd bochs-2.3.7
+cat $PINTOSDIR/src/misc/0001-bochs-2.3.7-jitter.patch | patch -p1
+cat $PINTOSDIR/src/misc/0002-bochs-2.3.7-triple-fault.patch | patch -p1
+cat $PINTOSDIR/src/misc/0003-bochs-2.3.7-page-fault-segv.patch | patch -p1
+cat $PINTOSDIR/src/misc/bochs-2.3.7-gcc43.patch | patch -p1
+cat $PINTOSDIR/src/misc/bochs-2.3.7-typos.patch | patch -p1
+cat $PINTOSDIR/src/misc/bochs-2.3.7-linux3x.patch | patch -p1
+autoconf
+
+CFGOPTIONAL="--enable-large-pages --enable-mmx --enable-usb --enable-pci --enable-pcidev --enable-acpi --enable-global-pages --enable-show-ips"
+CFGOPTIMIZE="--enable-all-optimizations --enable-guest2host-tlb --enable-repeat-speedups --enable-trace-cache --enable-icache --enable-fast-function-calls --enable-idle-hack "
+CFGOPTS="--prefix=$DSTDIR --enable-ignore-bad-msr --enable-disasm --enable-logging --enable-fpu --enable-alignment-check --enable-plugins --enable-cpu-level=6 --enable-readline --without-sdl --without-svga --without-wx --with-x --with-x11 --with-term --with-nogui $CFGOPTIONAL"
+mkdir plain &&
+        cd plain && 
+        ../configure $CFGOPTS --enable-gdb-stub && 
+#        make -j3 && 
+        make && echo "done building plain" &&
+        sudo make install &&
+        cd .. &&
+mkdir with-dbg &&
+        cd with-dbg &&
+        ../configure --enable-debugger $CFGOPTS &&
+        # make -j3 &&
+        make && echo "done building with-dbg" &&
+        sudo cp -v bochs $DSTDIR/bin/bochs-dbg &&
+        cd .. &&
+        echo "SUCCESS"
-- 
cgit v1.2.3