From f3156831364fb2d3bec8c2f7ba7e8c10e91be13e Mon Sep 17 00:00:00 2001
From: Felipe Boeira <felipe.boeira@liu.se>
Date: Wed, 4 Mar 2020 14:56:13 +0100
Subject: Added missing files

---
 src/userprog/start_pfs.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/userprog/start_pfs.sh

(limited to 'src/userprog/start_pfs.sh')

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
-- 
cgit v1.2.1