This repository has an initial setting to start assignment 1.
- Go to pintos directory.
- Remove src directory with sudo command (password: cse421521)
$ cd ~/pintos
$ sudo rm -r src
- Clone your repository. (The link is at upper-right corner, choose http if you didn't set up ssh-key)
$ git clone [repository-link]
- We strongly recommend you to remove whole src folder and clone it unless you already have written a lot of code.
- This link is for SSH setup.