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.
2015-07-12 | Peter Dinda | Cleanup of linkage issues for non-Linux hosts | blob | commitdiff |
2011-03-06 | Patrick G. Bridges | Changes to Kconfig.stdlibs that aren't actually changes... | blob | commitdiff | diff to current |
2011-02-22 | Patrick G. Bridges | Fixups to let us run multiple guests on a single CPU... | blob | commitdiff | diff to current |
2010-11-05 | Jack Lange | added user space symbol inclusion to Kconfig | blob | commitdiff | diff to current |
2010-05-13 | Jack Lange | fixed host OS selection options | blob | commitdiff | diff to current |
2010-02-04 | Jack Lange | build fix | blob | commitdiff | diff to current |