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-04-28 | Jack Lange | cleaned up timer infrastructure | blob | commitdiff |
2010-04-28 | Lei Xia | Minor fix to the halt handler | blob | commitdiff | diff to current |
2010-04-23 | Lei Xia | Fix to the HLT exit handler | blob | commitdiff | diff to current |
2010-01-14 | Jack Lange | refactoring to the point of compilation | blob | commitdiff | diff to current |
2009-08-31 | Andy Gocke | VMX is working for a 32-bit Linux kernel. It should... | blob | commitdiff | diff to current |