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.


symbiotic module fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 21:22:49 +0000 (16:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 21:22:49 +0000 (16:22 -0500)
commit4dbdf474c9eddfc402df451e021e4948a984289b
treea7cb8b16ce7387b51d0bee2d194a7b7cc026cefc
parent6fd2f3d7a6e940ce9527d64a84725052bbb56392
symbiotic module fixes
palacios/include/palacios/vmm_symmod.h
palacios/src/palacios/vmm_symmod.c
symmods/capsule/Makefile
symmods/capsule/binary.S
symmods/linux/test/Makefile