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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: f41eb8e)
Added guest GDT and IDT printing
authorMaciek Swiech <dotpyfe@u.northwestern.edu>
Thu, 9 Oct 2014 18:16:55 +0000 (13:16 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 9 Oct 2014 18:16:55 +0000 (13:16 -0500)
commit5011fe325029176e79fbed6ab4e50134c0326fd8
treec992edc9285e6475911e6d4a57d3ce87022782c4tree | snapshot
parentf41eb8ea81fe04856e0939d0f6a7bec9564a8043commit | diff
 Added guest GDT and IDT printing

- 32bit functionality untested
- LDT printing unsupported
palacios/include/palacios/vmm_debug.h diff | blob | history
palacios/src/palacios/vmm_debug.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project