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 first cut at options processing for the palacios module
authorPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 11 Feb 2013 22:06:42 +0000 (15:06 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 11 Feb 2013 22:06:42 +0000 (15:06 -0700)
commit298a05652b5704f9881af0683e3f16fc4cd03959
treef193b837509d8ad2648261a0c991e646e38bfba2
parente1ce948d73094f899ada0a91739539441c8be098
Added first cut at options processing for the palacios module
linux_module/main.c
linux_module/palacios-stubs.c
linux_module/palacios.h
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm.c