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.


Merge branch 'devel' into ide
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 20:42:42 +0000 (15:42 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 20:42:42 +0000 (15:42 -0500)
commitee177da9b30ebf340c63fb5b9d535c729f90134d
tree3976306e7a5df21f24ca1af61e6252b2dc72ab61
parentb86b717be870723228190fcc9c8233a511d95073
parent4b8b4ad83c037fa685a3bb8f3a681cf0b617ae9c
Merge branch 'devel' into ide

Conflicts:
misc/test_vm/build/Makefile
palacios/build/Makefile
misc/test_vm/build/Makefile
palacios/build/Makefile
palacios/src/devices/apic.c
palacios/src/devices/ramdisk.c
palacios/src/palacios/vmm_config.c