Palacios Public Git Repository
To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.git
This 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/devel
The other branches are similar.
Jack Lange [Tue, 2 Dec 2008 22:20:30 +0000]
updated binutils
Jack Lange [Tue, 2 Dec 2008 01:33:44 +0000]
added dev86
Jack Lange [Tue, 2 Dec 2008 01:32:34 +0000]
changed documentation to be the tech report
Jack Lange [Tue, 2 Dec 2008 01:11:04 +0000]
Release 1.0
Peter Dinda [Thu, 29 Nov 2007 20:26:38 +0000]
Initial revision
