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: 38da2b2)
Fixed minor compilation problems
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 19 May 2010 16:14:41 +0000 (11:14 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 19 May 2010 16:14:41 +0000 (11:14 -0500)
commitafed1e7a0d44d1fd59816e1ccf9563caceee0fcc
tree94e1f6834187025607347cd3f25b22085214b330tree | snapshot
parent38da2b23c0abc7bfc6743784b01ba45eefada77dcommit | diff
Fixed minor compilation problems
Moved to v3_get_mem_region() from v3_get_shadow_region() where these were still using the old function
palacios/include/palacios/vmm.h diff | blob | history
palacios/src/devices/apic.c diff | blob | history
palacios/src/palacios/mmu/vmm_shdw_pg_kvm_64.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project