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.


large scale namespace changes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 16 Oct 2008 23:22:37 +0000 (18:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 16 Oct 2008 23:22:37 +0000 (18:22 -0500)
commit3cd1d3771e3f8e30b09f6c4995851979aaafc5ff
tree999744610c670a26bf4045fdf689dec736e0e6dd
parent1c46db5ec8d086d76f7120a638199564947694d3
large scale namespace changes
adding "v3_" prefix to prepare for kitten port
49 files changed:
geekos/src/geekos/vm.c
palacios/include/devices/8237_dma.h
palacios/include/devices/8254.h
palacios/include/devices/8259a.h
palacios/include/devices/bochs_debug.h
palacios/include/devices/generic.h
palacios/include/devices/keyboard.h
palacios/include/devices/nvram.h
palacios/include/devices/ramdisk.h
palacios/include/devices/serial.h
palacios/include/devices/simple_pic.h
palacios/include/devices/timer.h
palacios/include/palacios/svm.h
palacios/include/palacios/svm_halt.h
palacios/include/palacios/svm_handler.h
palacios/include/palacios/svm_io.h
palacios/include/palacios/svm_pause.h
palacios/include/palacios/svm_wbinvd.h
palacios/include/palacios/vm_dev.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_config.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/src/devices/8237_dma.c
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/bochs_debug.c
palacios/src/devices/cdrom.c
palacios/src/devices/generic.c
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c
palacios/src/devices/ramdisk.c
palacios/src/devices/serial.c
palacios/src/devices/simple_pic.c
palacios/src/devices/timer.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/svm_pause.c
palacios/src/palacios/svm_wbinvd.c
palacios/src/palacios/vm_dev.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_util.c