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.


removed icc bus
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 04:32:40 +0000 (23:32 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 04:32:40 +0000 (23:32 -0500)
commit9e04092774141204bec0341885f5e726410ceb8e
tree2d3758c3db808834caa0d31123d0326a3003c3b6
parent921772c23185aa48406a390c58546ee463f49dc4
removed icc bus
palacios/include/devices/apic.h
palacios/include/devices/icc_bus.h [deleted file]
palacios/src/devices/Kconfig
palacios/src/devices/Makefile
palacios/src/devices/apic.c
palacios/src/devices/icc_bus.c [deleted file]
palacios/src/devices/io_apic.c