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.


Removed print in vmm_halt
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Mon, 13 Jun 2011 19:07:38 +0000 (13:07 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Mon, 13 Jun 2011 19:07:38 +0000 (13:07 -0600)
commit3b0d98aaf40fd7a1bfc3bc736144386636cc7a73
treeb029e3709e1e38ed8ab8eb57027d27414a6fd4dd
parentf80c615e1c6794aec94eaa8f00a8ca7a9b55e145
Removed print in vmm_halt
palacios/src/palacios/vmm_halt.c