Device File Virtualization Proof of Concept (Kernel+Preload)

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

diff --git a/gears/services/devfile/scripts/patched_insert_hypercall b/gears/services/devfile/scripts/patched_insert_hypercall
new file mode 100755 (executable)
index 0000000..8a658c0
--- /dev/null
+++ b/gears/services/devfile/scripts/patched_insert_hypercall
@@ -0,0 +1,5 @@
+#!/bin/sh
+source ENV
+v3_hypercall /dev/v3-vm0 add 99993 devfile_hypercall
+v3_launch /dev/v3-vm0
+v3_console /dev/v3-vm0