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.
2010-02-04 | Jack Lange | changed shadow paging configuration options | blob | commitdiff |
2010-02-02 | Jack Lange | Merge branch 'devel' of ssh://palacios@newskysaw.cs... | blob | commitdiff | diff to current |
2010-02-02 | Jack Lange | minor fixes | blob | commitdiff | diff to current |
2010-01-15 | Kevin Pedretti | Added ICC bus/apic stuff. | blob | commitdiff | diff to current |
2010-01-15 | Kevin Pedretti | Philip's changes along with some minor changes from... | blob | commitdiff | diff to current |
2009-12-08 | Jack Lange | made the configuration builder interface a little more... | blob | commitdiff | diff to current |
2009-12-01 | Jack Lange | documentation changes | blob | commitdiff | diff to current |
2009-12-01 | Jack Lange | generic device changes | blob | commitdiff | diff to current |
2009-12-01 | Jack Lange | added default PC configuration file | blob | commitdiff | diff to current |