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.


Expose VM reset capability to Linux and Linux user
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 18 Jun 2015 22:33:54 +0000 (17:33 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 18 Jun 2015 22:33:54 +0000 (17:33 -0500)
commitccbe7e2ab17a32e671114f258abc1d047151be2e
treec73e39b99ee5e38cf3f84cdb641b89af80dc599c
parente3b069fbf758a7d689c75a1b24441c7eec63e230
Expose VM reset capability to Linux and Linux user
linux_module/main.c
linux_module/palacios.h
linux_module/vm.c
linux_usr/Makefile
linux_usr/v3_ctrl.h
linux_usr/v3_free.c
linux_usr/v3_reset.c [new file with mode: 0644]