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.


Merged changes and added CONFIG_V3VEE wrappers
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 20:15:23 +0000 (15:15 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 20:15:23 +0000 (15:15 -0500)
commit7235237afb1e85066f6a7dee965128eb5b442640
treed722aa16a4168f615839d52ffb03050336112689
parent160530e310bb5ea55b2a248e23ff38abf7bb5f47
parentfac5e52e6e6f5cb160180c21e1f19c761a7dc88a
Merged changes and added CONFIG_V3VEE wrappers
kitten/init/main.c