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_pfs.sh | |
| parent | aa02564229d69a16da3d34a3742233aac81fd8b1 (diff) | |
| download | pintos-f3156831364fb2d3bec8c2f7ba7e8c10e91be13e.tar.gz | |
Added missing files
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 |