diff options
Diffstat (limited to 'src/userprog')
| -rw-r--r-- | src/userprog/start_pfs.sh | 10 | ||||
| -rw-r--r-- | src/userprog/start_recursor.sh | 6 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/userprog/start_pfs.sh b/src/userprog/start_pfs.sh new file mode 100644 index 0000000..b4acc54 --- /dev/null +++ b/src/userprog/start_pfs.sh @@ -0,0 +1,10 @@ +make -j4 +cd build +pintos-mkdisk fs.dsk 800 +dd if=/dev/urandom of=random bs=1 count=100 +pintos --qemu -- -f -q +pintos --qemu -p random -a random -- -q +pintos --qemu -p ../../examples/pfs -a pfs -- -q +pintos --qemu -p ../../examples/pfs_writer -a pfs_writer -- -q +pintos --qemu -p ../../examples/pfs_reader -a pfs_reader -- -q +pintos --qemu -- run pfs 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" |