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-15 | Jack Lange | fixed up includes for devices | blob | commitdiff |
2008-10-07 | Jack Lange | Merge branch '64bit' into 64bit-right | blob | commitdiff | diff to current |
2008-10-07 | Jack Lange | updated to 64 bits based on the wrong f#@$%ing trunk | blob | commitdiff | diff to current |
2008-10-07 | Jack Lange | added a configuration structure for the binary inputs... | blob | commitdiff | diff to current |
2008-10-03 | Jack Lange | added new copyright and license | blob | commitdiff | diff to current |
2008-10-02 | Jack Lange | added functioning ramdisk, makefile support | blob | commitdiff | diff to current |
2008-10-02 | Jack Lange | added header files | blob | commitdiff | diff to current |