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