Skip to main content Link Menu Expand (external link) Document Search Copy Copied

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, 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.

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