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: a342754)
Leave a HLT on exception injection
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 2 Aug 2015 23:14:02 +0000 (18:14 -0500)
committerroot <root@v-test-r415-3.localdomain>
Sun, 2 Aug 2015 23:14:02 +0000 (18:14 -0500)
commit5641fc7c3abf79756d28a28da8c15b4addf26fe5
tree660c7fdd78552abc7181eb542ccc42955dd273d8tree | snapshot
parenta34275476494aeabed460b284a70cfc9b66a9896commit | diff
Leave a HLT on exception injection
palacios/src/palacios/vmm_halt.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project