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.


compilable versions of the APIC/ICC_BUS/IOAPIC
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 23:46:36 +0000 (17:46 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 23:46:36 +0000 (17:46 -0600)
commite1dcef8166cab60ca0304121ddd176760af0d3d6
tree0c810c06efb5faef618ca86469f9224e5cc60a5a
parentc41680bebfc33ef5e3147aa2c6cc93431c6a5931
compilable versions of the APIC/ICC_BUS/IOAPIC
palacios/include/devices/icc_bus.h
palacios/src/devices/Kconfig
palacios/src/devices/Makefile
palacios/src/devices/apic.c
palacios/src/devices/icc_bus.c
palacios/src/devices/io_apic.c