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.


Minor compile warning fixup and error checks
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 28 Apr 2015 17:03:40 +0000 (12:03 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 28 Apr 2015 17:03:40 +0000 (12:03 -0500)
commit022f63d320c2837822dc7f6be84f860a01f02d7c
treec3d6a21d144a2e9b49048368cfff5229d638ccf2
parentb58fe2254858e3ecc94be5d86f2a93f2cfe0a0d5
Minor compile warning fixup and error checks
palacios/src/devices/8259a.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_debug.c
palacios/src/palacios/vmm_fp.c
palacios/src/palacios/vmm_swapping.c