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.


Added robust physical alignment check
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Wed, 11 Aug 2010 22:44:19 +0000 (16:44 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Wed, 11 Aug 2010 22:44:19 +0000 (16:44 -0600)
commit6b3606622300e3f0d45f7b8388e4c625a644aa4f
tree2632ca2b5a040fedf5f508ceaffd76f6a10bb608
parent8684ef59c3ede8fe0c33b2f04dbe30a287e7b353
Added robust physical alignment check
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h