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.


moved over the a real linked list implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Apr 2008 21:34:03 +0000 (21:34 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Apr 2008 21:34:03 +0000 (21:34 +0000)
commitdf58bd3c484a52b1e166dc28e7b9b6fd94e5a023
tree1c993b59bd9aee9a16215e76ec377247188ae2fe
parent570ad6257ed18fbbc840c17a600f12f2dc44b010
moved over the a real linked list implementation
17 files changed:
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/devices/nvram.h
palacios/include/palacios/svm_handler.h
palacios/include/palacios/vm_dev.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_device_types.h [deleted file]
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_list.h
palacios/src/devices/nvram.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_dev.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_intr.c