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.


*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 9 Apr 2008 18:54:52 +0000 (18:54 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 9 Apr 2008 18:54:52 +0000 (18:54 +0000)
commit75e6876db8e9c8114606e229c2818ca574245182
tree05c670a0dc1220c89bcd929f95996176a368998f
parent744ec8757ad416828c971b63d0e7372e038d1702
*** empty log message ***
palacios/src/vmboot/rombios/test.bios [new file with mode: 0644]