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.


remove icc_bus references
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 04:36:21 +0000 (23:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 04:36:21 +0000 (23:36 -0500)
commit15d029a29d7891dc3df00c16f0c1096080ce297f
tree4f71916ed6387ff7179b730fafafcac7e91e5707
parent9e04092774141204bec0341885f5e726410ceb8e
remove icc_bus references
palacios/src/devices/apic.c