Device File Virtualization Proof of Concept (Kernel+Preload)

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

diff --git a/gears/services/devfile/scripts/close_guest b/gears/services/devfile/scripts/close_guest
new file mode 100755 (executable)
index 0000000..c6b6b62
--- /dev/null
+++ b/gears/services/devfile/scripts/close_guest
@@ -0,0 +1,5 @@
+#!/bin/sh
+v3_hypercall /dev/v3-vm0 remove 99993 devfile_hypercall 
+v3_stop /dev/v3-vm0
+v3_free 0
+rmmod devfile_host.ko