To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.gitThis 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/develThe other branches are similar.
2008-10-21 | Trammell Hudson | Merged changes and added CONFIG_V3VEE wrappers | blob | commitdiff |
2008-10-21 | Trammell Hudson | Added CONFIG_V3VEE to kernel config file | blob | commitdiff | diff to current |
2008-10-21 | Peter Dinda | added call to palacios | blob | commitdiff | diff to current |
2008-10-21 | Kevin Pedretti | Added Kitten | blob | commitdiff |