/PINTOS-Ubuntu

Repo for setting up PINTOS on Ubuntu machines

Primary LanguageHTMLOtherNOASSERTION

Manual Installation Steps:

  1. Install QEMU Simulator

    sudo apt-get install qemu

  2. Edit GDBMACROS

    Open pintos/src/utils/pintos-gdb. Make the variable GDBMACROS point to pintos/src/misc/gdb-macros i.e. GDBMACROS=/home/....../pintos/src/misc/gdb-macros. Note that it should point to the full path.

  3. Compile Utils directory

    cd pintos/src/utils
make

  4. Compile Threads directory

    cd pintos/src/threads
make

  5. Edit pintos

    Open pintos/src/utils/pintos and make the following changes:
    • Line 259: Replace kernel.bin with /home/.../pintos/src/threads/build/kernel.bin. Note that we're making it point to full path of kernel.bin

  6. Edit Pintos.pm

    Open pintos/src/utils/Pintos.pm and make the following change:
    • Line 362: Replace loader.bin with /home/.../pintos/src/threads/build/loader.bin

  7. Export utils directory path to PATH variable

    Open ~/.bashrc and add this to the last line: export PATH=/home/.../pintos/src/utils:$PATH

  8. Reload terminal with the new environment variables

    source ~/.bashrc

  9. Run pintos

    pintos run alarm-multiple