Nachos_options

Options

• -d

Enable some debug flags, e.g. -d ti

• -h

Print this help message.

• -m

Specify how many physical pages of memory to simulate.

• -s

Specify the seed for the random number generator (seed is along).

• -x

Specify a program that UserKernel.run() should execute, instead of the value of the configuration variable Kernel.shellProgram

• -z

print the copyright message

• --

Specify an autograder class to use, instead of nachos.ag.AutoGrader

• -#

Specify the argument string to pass to the autograder.

• -[]

Specifiy a config file to use, instead of nachos.conf