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.
Peter Dinda [Thu, 4 Dec 2008 18:14:18 +0000]
Removed make world from this script
Peter Dinda [Thu, 4 Dec 2008 17:44:21 +0000]
Updated TR
Added Kevin's patch for the stack problems (-fno-stack-protector)
Jack Lange [Thu, 4 Dec 2008 04:55:25 +0000]
fixed default build target
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
