diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-09-22 11:52:52 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-09-22 11:52:52 -0400 |
| commit | 5ec00aab69673833ed82d33b132e1e54d5401249 (patch) | |
| tree | 0b203f4ce1408d221df85880ce2a3f8b8b08eb66 /sample-config/litmus-kvm | |
| parent | f03d628e1e8bcdbf36aa28e23ca5266e7bafef12 (diff) | |
Add KVM helper scripts.
Useful for pushing and pull files, as well as launching kernels.
Diffstat (limited to 'sample-config/litmus-kvm')
| -rw-r--r-- | sample-config/litmus-kvm | 16 |
1 files changed, 16 insertions, 0 deletions
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 @@ | |||
| 1 | # Simple Litmus KVM tools config file. | ||
| 2 | # Copy this to ~/.litmus_kvm | ||
| 3 | |||
| 4 | # how to connect to the VM | ||
| 5 | SSH_PORT=1234 # CHANGE THIS | ||
| 6 | GDB_PORT=4321 # CHANGE THIS | ||
| 7 | SSH_HOST=localhost | ||
| 8 | |||
| 9 | # for pull | ||
| 10 | DATA_DIR="~/liblitmus2010/traces/" | ||
| 11 | FILE_GLOB="*" | ||
| 12 | DOWNLOADS=~/downloads | ||
| 13 | |||
| 14 | # for push | ||
| 15 | HOST_LIBLITMUS_DIR=~/dev/liblitmus2010 | ||
| 16 | KVM_WORKSPACE="~/" | ||