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 | Kevin Pedretti | Link in palacios | tree | commitdiff |
2008-10-21 | Trammell Hudson | Merged changes and added CONFIG_V3VEE wrappers | tree | commitdiff |
2008-10-21 | Peter Dinda | Merge branch 'kitten' of ssh://sharedev@newskysaw.cs... | tree | commitdiff |
2008-10-21 | Trammell Hudson | Added CONFIG_V3VEE to kernel config file | tree | commitdiff |
2008-10-21 | Peter Dinda | added call to palacios | tree | commitdiff |
2008-10-21 | Kevin Pedretti | Do make config before building kitten first time | tree | commitdiff |
2008-10-21 | Kevin Pedretti | Added Kitten | tree | commitdiff |