dimo414/cs140

Stanford CS140 - Operating Systems

Docker image that's able to build and test all the assignments for CS140 (Winter '18).

Caveats

This image has been tested with a slightly modified version of Pintos from the one provided via [***]

Two upstream patches must be applied:

• support modern Perl
• support modern GCC

To use src/utils/pintos-gdb apply this patch, so the gdb-macros can be found automatically:

diff --git a/src/utils/pintos-gdb b/src/utils/pintos-gdb
index 4ef38d3..288318a ***
--- a/src/utils/pintos-gdb
+++ b/src/utils/pintos-gdb
@@ -1,7 +1,10 @@
-#! /***/sh
+#! /***/bash

-# Path to GDB macros file.  Customize for your site.
-GDBMACROS=/usr/class/cs140/pintos/pintos/src/misc/gdb-macros
+# https://stackoverflow.com/a/246128/***
+SOURCE_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+
+# Path to GDB macros file.
+GDBMACROS="$SOURCE_DIR/../misc/gdb-macros"

 # Choose correct GDB.
 if command -v i386-elf-gdb >/dev/null 2>&1; then

To support the -v flag apply this patch:

diff --git a/src/threads/init.c b/src/threads/init.c
index cebec2c..0964565 ***
--- a/src/threads/init.c
+++ b/src/threads/init.c

@@ -233,8 +233,10 @@ parse_options (char **argv) char *save_ptr; char *name = strtok_r (*argv, "=", &save_ptr); char *value = strtok_r (NULL, "", &save_ptr); - - if (!strcmp (name, "-h")) + + if (!strcmp (name, "-v")) + continue; // -v is controlled by pintos wrapper + else if (!strcmp (name, "-h")) usage (); else if (!strcmp (name, "-q")) shutdown_configure (SHUTDOWN_POWER_OFF);