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.


Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Oct 2010 22:30:53 +0000 (17:30 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Oct 2010 22:30:53 +0000 (17:30 -0500)
commit1d2dda0a2e9a65efed3ea09a5fabf958cba8666d
tree7bc27920133b8ecb86656894c663a3ce3e7b5eda
parent3df3ce0563ed291efdbe800bcb9523256f87272d
parent99c8bed98abf75955e09ce1af868f7bf16c9406c
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
palacios/src/devices/apic.c