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 ICC bus/apic stuff.
authorKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 16:54:41 +0000 (09:54 -0700)
committerKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 16:54:41 +0000 (09:54 -0700)
commitfa3ef2ff5003b7cd27bfe11e970760c940525966
tree159470583461b19a0cb51acf8975e4345cb2f8d6
parent6b117f85ced19739c5dd0f0057a906b9cb765a16
Added ICC bus/apic stuff.
palacios/include/devices/icc_bus.h [new file with mode: 0644]
palacios/src/devices/Kconfig
palacios/src/devices/apic.c
palacios/src/devices/icc_bus.c [new file with mode: 0644]
palacios/src/devices/io_apic.c
utils/guest_creator/default.xml