The design document can be found in DOC_P1.md in the same folder as this README
Matthew Moltzau matthew.moltzau@ucdenver.edu
Michael Hedrick michael.hedrick@ucdenver.edu
cd $PINTOS_ROOT/src/threads
make
pintos -v -- run test_name
The script will run tests as they appear in the script internally. We have two separate scripts 1) The original and 2) The one accessible from any place in the commandline provided src/utils is in $PATH. This version may also accept "debug" as an argument, which passes --gdb when running the pintos kernel.
p1-thread-tests
OR
cd $PINTOS_ROOT/src/threads
bash pintos-p1-tests.sh
Alarm:
The alram may need to be updated. See details in the design doc.
DOC_P1:
There are just a couple loose strings in the design doc.
Michael Hedrick
Matthew Moltzau
We will be working primarily from src/userprog, which is where the kernel is
located. You can invoke "make" just like normal.
For testing, run pintos-p2-tests (kudos to Brian). The bash script is located
in src/userprog, but an alias exists in src/utils so that you can call it
from anywhere.
A bash script pintos-run-util was just created that helps with loading and
running user programs. It can run tests, but is limited since it can't pass
the correct arguments to right tests just yet.
The grader will be using make check from the build directory.
Argument Passing
Handling User Memory
System Call Infrastructure
File Operations (using fd)
See DOC_P2.md for the design document.