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:21 +0000 (18:54 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 9 Apr 2008 18:54:21 +0000 (18:54 +0000)
commit6d51314d4019bdac9e458425bc2b2b2266a4ca7c
tree05c670a0dc1220c89bcd929f95996176a368998f
parentaf2345e3bbf8b962957be5546f99c2a5c87d433a
*** empty log message ***
palacios/src/vmboot/rombios/test.bios [new file with mode: 0644]