Nachos-4.0 for Operating System Course

Docker

Prerequisite(MacOs)

If you see qemu: uncaught target signal 11 (Segmentation fault) - core dumped, you may need to downgrade docker desktop to 4.24.2 or upgrade macos to Sonoma. See here

Build(Not required)

# Build the docker image
make build

Run

Tested environments:

• Ubuntu
• MacOS
• WSL2 on Windows (not under directory mounted, e.g. /mnt/c/)

# Run the docker container with the source code mounted
make run

# Inside the container, you should be in the code/test directory
# Build nachos with the provided script
bash build_nachos.sh
# Build the target test
make clean; make <test>
# Run the test
../build.linux/nachos -e <test>

# For example
bash build_nachos.sh -j
# or clean and build
bash build_nachos.sh -cj
# or clean and build without showing make outputs
bash build_nachos.sh -cqj

# Build and run the halt test
make clean; make halt
../build.linux/nachos -e halt