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.


APIC debugging
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 17 Feb 2011 01:00:24 +0000 (19:00 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 17 Feb 2011 01:00:24 +0000 (19:00 -0600)
commitefbe4a22cf885020ad0f5d8b9b5671b89d5f7e88
tree40e2ce6f58a700b745596194eb690c419f03b7b9
parenta34051536e91aa7ef3ca7123fc2342771bd34391
APIC debugging
palacios/src/devices/apic.c
palacios/src/devices/cirrus_gfx_card.c