Device File Virtualization Proof of Concept (Kernel+Preload)

[palacios.git] / gears / services / devfile / scripts / patched_mem_script

diff --git a/gears/services/devfile/scripts/patched_mem_script b/gears/services/devfile/scripts/patched_mem_script
new file mode 100755 (executable)
index 0000000..3b928dc
--- /dev/null
+++ b/gears/services/devfile/scripts/patched_mem_script
@@ -0,0 +1,18 @@
+jobs -p | xargs kill -9
+source patched_close_guest
+./v3_deinit
+cd linux_usr
+make clean
+make
+cd ..
+make clean
+make -j 8
+source ENV
+source gears/services/devfile/scripts/patched_copy_to_guest
+./v3_init
+cd gears/services/devfile/
+make
+insmod devfile_host.ko
+cd ../../..
+source gears/services/dev_ile/patched_start_guest
+jobs -l