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.


Partially functional icc_bus (works for UP)
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 8 Jul 2010 23:11:53 +0000 (18:11 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 8 Jul 2010 23:11:53 +0000 (18:11 -0500)
commit300810f123725663d5f7ae638ff6cb93d0a89ae5
treef0e55f0a5538ec968584b87fca1873c0fa8c0f4d
parent639ddb8ebf0b5126a62431fb6a98e257806eebeb
Partially functional icc_bus (works for UP)
Works up to init for SMP
palacios/include/devices/apic_regs.h
palacios/include/devices/icc_bus.h
palacios/src/devices/Kconfig
palacios/src/devices/apic.c
palacios/src/devices/icc_bus.c
palacios/src/devices/io_apic.c
palacios/src/palacios/vmm_telemetry.c