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.


Updated Makefile "make world"
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 2 May 2008 23:58:16 +0000 (23:58 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 2 May 2008 23:58:16 +0000 (23:58 +0000)
commit8e7a84531f31b9124e99371e802c1dd8b880884a
tree7e7ddd6f578596c04f8dc331690a72f448c946bb
parentbc2d0b3d849388db3464cd35388cf5c06b2aecda
Updated Makefile "make world"
palacios/build/Makefile
palacios/build/depend.mak
palacios/build/rombios
palacios/build/vm_kernel