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.


added ability to inject an env variable into guest user process
authorKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Wed, 18 May 2011 23:14:43 +0000 (18:14 -0500)
committerKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Wed, 18 May 2011 23:14:43 +0000 (18:14 -0500)
commitdc6b47d05e37e6c3738e1bc6165ec4a107717d2b
treef718b5e6ca37adbeed7be33c54317b2eccc4d6e7
parentf08319bfe39e47f1d2e003b48087affa7190c997
added ability to inject an env variable into guest user process
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vm_guest_mem.h
palacios/include/palacios/vmm_intr.h
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_intr.c