From 5ec00aab69673833ed82d33b132e1e54d5401249 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Wed, 22 Sep 2010 11:52:52 -0400
Subject: Add KVM helper scripts.

Useful for pushing and pull files, as well as launching kernels.
---
 sample-config/litmus-kvm | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 sample-config/litmus-kvm

(limited to 'sample-config')

diff --git a/sample-config/litmus-kvm b/sample-config/litmus-kvm
new file mode 100644
index 0000000..b724a85
--- /dev/null
+++ b/sample-config/litmus-kvm
@@ -0,0 +1,16 @@
+# Simple Litmus KVM tools config file.
+# Copy this to ~/.litmus_kvm
+
+# how to connect to the VM
+SSH_PORT=1234 # CHANGE THIS
+GDB_PORT=4321 # CHANGE THIS
+SSH_HOST=localhost
+
+# for pull
+DATA_DIR="~/liblitmus2010/traces/"
+FILE_GLOB="*"
+DOWNLOADS=~/downloads
+
+# for push
+HOST_LIBLITMUS_DIR=~/dev/liblitmus2010
+KVM_WORKSPACE="~/"
-- 
cgit v1.2.2