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 | Trammell is a doofus | tree | commitdiff |
2008-10-21 | Trammell Hudson | Removed mercurial files from git control. | tree | commitdiff |
2008-10-21 | Trammell Hudson | Added <lwk/palacios.h> header for all users of the... | tree | commitdiff |
2008-10-21 | Trammell Hudson | Force git to create kitten/palacios subdirectory | tree | commitdiff |
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 |