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.


added comment...
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 12 Mar 2009 02:41:57 +0000 (21:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 12 Mar 2009 02:41:57 +0000 (21:41 -0500)
commit13103a78ed1840c7933a5bbafb128f3d33fc0639
treebc5bb0f0ca5ada38d9d4147de8687021f3be72ee
parent1ca1027c409c0bf0ecdd476589d00687dc0b95f4
added comment...
palacios/src/devices/apic.c