diff options
| author | Felipe Boeira <felipe.boeira@liu.se> | 2020-03-04 14:56:13 +0100 |
|---|---|---|
| committer | Felipe Boeira <felipe.boeira@liu.se> | 2020-03-04 14:56:13 +0100 |
| commit | f3156831364fb2d3bec8c2f7ba7e8c10e91be13e (patch) | |
| tree | 00d41d6dae12ba082b238362d737e553576582cd /src/userprog/start_recursor.sh | |
| parent | aa02564229d69a16da3d34a3742233aac81fd8b1 (diff) | |
| download | pintos-f3156831364fb2d3bec8c2f7ba7e8c10e91be13e.tar.gz | |
Added missing files
Diffstat (limited to 'src/userprog/start_recursor.sh')
| -rw-r--r-- | src/userprog/start_recursor.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/userprog/start_recursor.sh b/src/userprog/start_recursor.sh new file mode 100644 index 0000000..ed80e1a --- /dev/null +++ b/src/userprog/start_recursor.sh @@ -0,0 +1,6 @@ +make -j4 +cd build +pintos-mkdisk fs.dsk 400 +pintos --qemu -- -f -q +pintos --qemu -p ../../examples/recursor_ng -a recursor_ng -- -q +pintos --qemu -m 128 -- run "recursor_ng pintosmaster 6 1" |