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.


moved PrintErrors to PrintDebugs with special compilation option for mem lookups...
authorKyle Hale <kh@u.northwestern.edu>
Thu, 23 Jun 2011 00:52:50 +0000 (19:52 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:37 +0000 (20:18 -0500)
commit88b5b2e56e64f1d7f93d6fd225afa8d572387f9c
treed57fa74ae3587bc83148326c83be5f81f9605e50
parent93fe5ec08c36ed8d18492294730bfcece81219e4
moved PrintErrors to PrintDebugs with special compilation option for mem lookups and translations
Kconfig
palacios/src/palacios/vm_guest_mem.c