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.


More debugging output (APIC, LDT, etc)
authorMaciek Swiech <dotpyfe@u.northwestern.edu>
Thu, 9 Oct 2014 22:44:30 +0000 (17:44 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 9 Oct 2014 22:44:30 +0000 (17:44 -0500)
commitec9f38e306b02bb98029fb950bcb4d0bd0c3aed2
treea6a2644f0e94b7776bba584c2835ccc9c8e27fd2
parent5011fe325029176e79fbed6ab4e50134c0326fd8
More debugging output (APIC, LDT, etc)

- APIC state can now be dumped
- LDT is included
- LDT/GDT/IDT/TSS can now be dumped via v3_debug
palacios/include/palacios/vmm_debug.h
palacios/src/devices/apic.c
palacios/src/palacios/vmm_debug.c