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 memory unhooking error checking to fix CGA deinit crash
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 16 Aug 2011 23:41:39 +0000 (19:41 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 16 Aug 2011 23:41:39 +0000 (19:41 -0400)
commit47d42b85720b6388c7cd59554a9e458bd72664c4
tree35a636c60c7e208163c57848dcc251bf774cc2c8
parent6cf74ab2b04c8af061a637e50b3241e365d40aa3
added memory unhooking error checking to fix CGA deinit crash
palacios/src/devices/cga.c
palacios/src/palacios/vmm_mem_hook.c