Adding Source Files

In the event you want to add your own *.c source code, open Makefile.build in your PintOS root directory and add the file to either the threads_SRC or userprog_SRC variable depending on where the files are located.

If you want to add your own tests for instance for the Project 1 - User Programs, place the test files in tests/userprog/. Then, edit tests/userprog/Make.tests to incorporate your tests into the build system.

Make sure to re-run make from the userprog/ directory after adding your files. If your new file doesn’t get compiled, run make clean and try again. Note that adding new *.h files will not require any changes to makefiles.

Substitute threads/ or filesys/ for userprog/ in the above instructions if appropriate.