Palacios Public Git Repository

To checkout Palacios execute 

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute 
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 77f9bac)
VM Reset Bugfixes
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 29 Jun 2015 18:22:05 +0000 (13:22 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 29 Jun 2015 18:22:05 +0000 (13:22 -0500)
commit1d750a8e86f4f32eca7d776556d8d96b09375f5c
treeab7e2ca82aaeb261be01f25cdb6ce0563c836b42tree | snapshot
parent77f9bac11993e15c12e491d6c02e4549406e42a6commit | diff
VM Reset Bugfixes

- ROS reset does not clobber HRT
- Missing keyboard reset command added
- More debugging output
palacios/src/devices/keyboard.c diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmm_hvm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project