diff options
Diffstat (limited to 'src/userprog/start_pfs.sh')
| -rw-r--r-- | src/userprog/start_pfs.sh | 10 |
1 files changed, 10 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 |